[Types-sig] how to do a typecase?

[skaller]

Greg Stein wrote:
> 
> What are you guys mumbling and bumbling about? My *prototype* already
> handles the code below. It knows "y" becomes and int, and it knows that
> "x" is being assigned an integer.
> 
> In other words, the whole notion of "we should only be burning time on
> [declaring everything first]" is a moot point. We already have an example
> that performs "inter-statement inference", and we already have "code out
> there". We don't have to declare everything.
> 
> Tim: you're trying to simplify where it isn't needed
> John: you're trying to make a non-existent problem harder

I don't know about that: my problem is to convince Guido what the
right thing to do is so I can upgrade Vyper. For me, that is a hard
problem, because I don't know the answer.


-- 
John (Max) Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
homepage: http://www.maxtal.com.au/~skaller
download: ftp://ftp.cs.usyd.edu/au/jskaller