[Types-sig] Viper Type specification

[skaller]

Greg Stein wrote:
 
> > BTW: w.r.t expr!type, your (Greg's) proposal, what precedence
> > would your give operator ! ?
> 
> Lowest possible (as seen in the type-proposal.html I recently posted
> here). I don't have any actual experience with it, but I would think that
> when somebody is using it to annotate/verify their code, they would just
> append it to the end of key lines in a function. The lowest precedence
> creates the correct binding in this case.

OK, I'll implement it, and if you make some test files,
I'll run them and send you the results to see if they're
what you expected (in an interpreter! no compilation yet :-)

[BTW: it will take less than an hour to do: I just finished
doing list comprehensions, it took less than 2 hour all up.
Assignment operators took longer -- there are more of them
to code up]

-- 
John Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia
homepage: http://www.maxtal.com.au/~skaller
voice: 61-2-9660-0850