dominic.steinitz at blueyonder.co.uk
Sun Dec 21 04:37:36 EST 2008
If I remove -XScopedTypeVariables from this http://hpaste.org/13230 then
I get the following error message:
> 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