bug report

[Marc van Dongen]

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 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