[Types-sig] Type Annotations Progress report

[Paul Prescod]

Tim Hochberg wrote:
> 
>...
> On the third hand, the above syntax puts a kink in my hope of using & and |
> since:
> 
>    val : (IString, IInteger) | (IFloat, IFloat)
> 
> won't work. Harumph.

You're right, it seems we can only use first-class Python syntax for
tuple-building OR unions but not for both. :(

-- 
Take a recipe. Leave a recipe.  
Python Cookbook!  http://www.activestate.com/pythoncookbook