30 Oct
2008
30 Oct
'08
12:53 p.m.
| > In your case the error message was: | > | > GADT.hs:26:56: | > GADT pattern match with non-rigid result type `Maybe a' | > Solution: add a type signature | > In a case alternative: I1 m' -> m' | > In the expression: case w' S of { I1 m' -> m' } | > In a case alternative: Wrap w' -> case w' S of { I1 m' -> m' } | > | ... | And maybe the "add a type signature" can be more explicit? Like "add a | type signature that makes the type of the result known at the matching | point". Just a suggestion... Good suggestion. I've done that. Simon