Lexically scoped type variables

[Simon Peyton-Jones]

good idea.  This'll be in when I commit

S

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Johannes Waldmann
| Sent: 17 January 2006 14:36
| To: Simon Peyton-Jones
| Cc: GHC users
| Subject: Re: Lexically scoped type variables
| 
| On the syntax of type signatures: I'd like to be able to write e. g.
| 
| do
|     x :: Int <- randomRIO ( 0, 10 )
|     print x
| 
| Currently I have to put ( x :: Int ) in parentheses. Is this
necessary?
| --
| -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
| ---- http://www.imn.htwk-leipzig.de/~waldmann/ -------
| 
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users