Thanks. I've added both tests to the HEAD.
Jeff: let us know the outcome re bug-hunt.
Simon
| -----Original Message-----
| From: Thomas Hallgren [mailto:[EMAIL PROTECTED]]
| Sent: 28 November 2000 04:08
| To: Jeffrey R. Lewis
| Cc: Simon Peyton-Jones; [EMAIL PROTECTED]
| Subject: Re: basicTypes/Var.lhs:194: Non-exhaustive patterns
| in function
| readMutTyVar
|
|
| Hi,
|
| Here is another example which GHC doesn't like.
|
| Regards,
| Thomas Hallgren
|
| --------------------------------------------------------------
| ----------
|
| module PR where
|
| -- This accepted by Hugs, but not by GHC 4.08.1
|
| class P a
| class R a b | b->a
|
| instance (P a,R a b) => P b
|
| {-
| GHC 4.08.1 doesn't seem to allow variables in the context
| that don't appear
| after the =>, but which are still ok since they are determined by the
| functional dependenices.
| -}
|
|
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| [EMAIL PROTECTED]
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
|
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
