Peter,

This is a most excellent bug.  Thank you.  It turns out to be an
obscure interaction in the context-simplication machinery between
functional dependencies and superclasses.

I need to think about how to fix it, and I'm buried in reviewing right
now, so I hope you are not utterly stuck.

Simon

| -----Original Message-----
| From: Peter White [mailto:[EMAIL PROTECTED]] 
| Sent: 25 March 2002 21:38
| To: [EMAIL PROTECTED]
| Subject: fail: <<loop>>
| 
| 
| Attached is a program that produces fail: <<loop>> when I 
| execute it. I am using the derived instance of Show for the 
| type LinuxObjectId. When I replace this with my own Show 
| instance (currently commented out in the source code), then 
| the program executes to completion. I am using Ghc version 
| 5.03.20020204
| 
| 
| 
| 
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to