mon
| -Original Message-
| From: Matthew Pocock [mailto:[EMAIL PROTECTED]
| Sent: 11 July 2006 10:54
| To: Simon Peyton-Jones
| Cc: GHC users
| Subject: Re: [Haskell] problem building syb-generics
|
| On Tuesday 04 July 2006 13:20, Simon Peyton-Jones wrote:
|
| > Lexically-scoped type v
On Tuesday 04 July 2006 13:20, Simon Peyton-Jones wrote:
> Lexically-scoped type variables are undergoing a slight upheaval in GHC 6.6
> that has not quite settled, and that is what you are running into.
Thanks for the help. After a lot of trial & error, and reading and stuff I've
got past the p
[Redirecting to ghc-users]
Matthew
Lexically-scoped type variables are undergoing a slight upheaval in GHC 6.6
that has not quite settled, and that is what you are running into.
Pattern-bound lexically-scoped type variables are particularly problematic
f (x::a) = ...
The ones that are