Lexically scoped type variables

[Bulat Ziganshin]

Hello Johannes,

Tuesday, January 17, 2006, 5:36:22 PM, you wrote:

JW> On the syntax of type signatures: I'd like to be able to write e. g.

JW> do
JW>     x :: Int <- randomRIO ( 0, 10 )
JW>     print x

JW> Currently I have to put ( x :: Int ) in parentheses. Is this necessary?

moreover, syntax without parentheses supported even by Hugs2003


-- 
Best regards,
 Bulat                            mailto:bulatz at HotPOP.com