Lexically scoped type variables

[Simon Peyton-Jones]

It'll be the HEAD, when I commit; I'll send a message.

SImon

| -----Original Message-----
| From: Christian Maeder [mailto:maeder at tzi.de]
| Sent: 18 January 2006 16:18
| To: Simon Peyton-Jones
| Cc: GHC Users Mailing List
| Subject: Re: Lexically scoped type variables
| 
| Simon Peyton-Jones wrote:
| > I'm very interested to know whether you like it or hate it.
| > In the latter case, I'd also like to know whether you also
| > have programs that will be broken by the change.
| 
| I don't use GADTs yet and I assume this change will not (seriously)
| break our code, but let me/us know which compiler we should use for
testing.
| 
| Cheers Christian