GHC3.00:stranal/SaAbsInt.lhs:665: Non-exhaustive patterns in ...

1998-02-17 Thread Jon Mountjoy
Hello People, Compiling with ghc-3.00 I get: TypeDt.lhs:189: Pattern match(es) are overlapped in the definition of function `showType' x = ... NOTE: Simplifier still going after 4 iterations; bailing out. stranal/SaAbsInt.lhs:665: Non-exhaustive patterns in

Confusing error message

1998-02-17 Thread Manuel Chakravarty
Hi GHC-Developers! I encountered a confusing error message, which you can reproduce with type P a = Maybe a instance Monad P where (=) = error "foo" return = error "bar" I get bug.hs:5: `P' should have 1 argument, but has been given 0 . with ** ghc 2.05 ** (maybe

Re: Confusing error message

1998-02-17 Thread Simon L Peyton Jones
I encountered a confusing error message, which you can reproduce with type P a = Maybe a instance Monad P where (=) = error "foo" return = error "bar" I get bug.hs:5: `P' should have 1 argument, but has been given 0 . Would it be better if it said