GADT Type Checking GHC 6.10 versus older GHC

Simon Peyton-Jones simonpj at microsoft.com
Fri Nov 28 03:47:03 EST 2008


| > I also feel that the type errors given when working with existential
| > types, especially GADTs with existentials, are confusing.  I think
|
| I am using existential types to test GADT code. See
| http://www.haskell.org/haskellwiki/QuickCheck_/_GADT which no longer
| works with 6.10.1.

Really?  I've just compiled that entire page with 6.10.1, and it was fine, except that I had to add a type signature for prettyRep.  No problems there.

Simon


More information about the Glasgow-haskell-users mailing list