GADT Type Checking GHC 6.10 versus older GHC

Simon Peyton-Jones simonpj at
Mon Nov 24 09:23:18 EST 2008

Did you try giving a type signature to the (entire) case expression, as I suggested?  That should do it.
Perhaps I don't understand the suggestion, but for me the only way I could fix it was to put all the pattern matches into local functions with type signatures.  I can show you the diffs if you would find it useful to see how 'programmers in the wild' react to this.

I just mean: give a type signature to the entire case expression. Thus
              (case ... of { ...})  ::  type

 I'd welcome a way to say that more clearly.


-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Glasgow-haskell-users mailing list