Simon Peyton-Jones wrote:
| Is it worth noting it here
| http://haskell.org/haskellwiki/Upgrading_packages#Changes_to_GADT_matching
| or is it something that has always existed with GADTs and I just didn't
| trip over it?
I've added a para. Good idea.
Thanks very much. I'm slightly
| Thanks very much for this. I would never have guessed to use
| -XRelaxedPolyRec given the error message.
|
| Is it worth noting it here
| http://haskell.org/haskellwiki/Upgrading_packages#Changes_to_GADT_matching
| or is it something that has always existed with GADTs and I just didn't
| trip
Simon Peyton-Jones wrote:
| If I remove -XScopedTypeVariables from this http://hpaste.org/13230
then | I get the following error message: | |
Asn1cTestNew.hs:55:27: | GADT pattern match in non-rigid
context for `INTEGER' |Solution: add a type signature |
In the pattern: INTEGER
Simon Peyton-Jones wrote:
This is a nasty corner I agree. GHC requires -XGADTs for you to *define* a
GADT. Perhaps it should also require -XGADTs for you to *match against* one (as
you are doing here). That would avoid this particular hole. If you think that
would be a step forward, do put
| If I remove -XScopedTypeVariables from this http://hpaste.org/13230 then
| I get the following error message:
|
| Asn1cTestNew.hs:55:27:
| GADT pattern match in non-rigid context for `INTEGER'
|Solution: add a type signature
| In the pattern: INTEGER
| In the definition
Simon Peyton-Jones wrote:
This is a nasty corner I agree. GHC requires -XGADTs for you to *define* a
GADT. Perhaps it should also require -XGADTs for you to *match against* one (as
you are doing here). That would avoid this particular hole. If you think that
would be a step forward, do put