Lexically scoped type variables

Bulat Ziganshin bulatz at HotPOP.com
Tue Jan 17 16:20:56 EST 2006

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

More information about the Glasgow-haskell-users mailing list