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 12:14:47 +0100 (BST)
| 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]
| k.
| Fail: "typecheck/Unify.lhs", line 60: incomplete pattern(s) to match in funct
| ion "unifyTauTyLists"
|
| Caused by the following faulty program:
|
| > module F( f ) where
|
| > f :: (Ord c) => c -> c
| > f c = g c
|
| > g :: c -> c
| > g c = c
| > where p = foldr (f c) [] []
|
| Regards,
|
|
|
| Marc
