| > 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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
