Overlapping, undecidable, incoherent -- or worse?

MR K P SCHUPKE k.schupke at imperial.ac.uk
Thu May 20 18:16:45 EDT 2004

>That's not the notion of priority I was referring to.

Any type of priority would not help. As I said then the instance heads
are identical (PO a) and (PO a) - no kind of priority will help
differenciate the,


More information about the Glasgow-haskell-users mailing list