GADT Strangeness

Dominic Steinitz dominic.steinitz at
Sun Dec 21 04:37:36 EST 2008

If I remove -XScopedTypeVariables from this 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 of `referenceTypeAndValAux2':
>         referenceTypeAndValAux2 ns INTEGER x
>                                   = lhs ns <> text " = " <> text (show x) <> semi
> Failed, modules loaded: Language.ASN1, ASNTYPE.

At the very least the message is unhelpful. It was only by accident I
decided to put in -XScopedTypeVariables.

Can anyone offer an explanation as to what is happening?


More information about the Glasgow-haskell-users mailing list