Good report! The contexts on the signatures in a mutually recursive group
must be the same (i.e. unifiable), but GHC wasn't being careful enough..
here they aren't even the same length. Embarassing, but easily fixed.
Simon
| From: Marc van Dongen [EMAIL PROTECTED]
| Date: Fri, 30 May 1997
If my memory serves me right, I haven't seen this one in ghc-2.03:
*** Pattern-matching error within GHC!
This is a compiler bug; please report it to [EMAIL PROTECTED]
Fail: "typecheck/Unify.lhs", line 60: incomplete pattern(s) to match in function
"unifyTauTyLists"
Caused by the