basicTypes/Var.lhs:194: Non-exhaustive patterns in function readMutTyVar

[Simon Peyton-Jones]

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:hallgren at cs.chalmers.se]
| Sent: 28 November 2000 04:08
| To: Jeffrey R. Lewis
| Cc: Simon Peyton-Jones; glasgow-haskell-bugs at haskell.org
| 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
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
|