Lexically scoped type variables

Christian Maeder maeder at tzi.de
Wed Jan 18 11:18:10 EST 2006

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

More information about the Glasgow-haskell-users mailing list