21 Dec
2008
21 Dec
'08
4:37 a.m.
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 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? Dominic.