Overlapping, undecidable, incoherent -- or worse?

Alex Ferguson abf at cs.ucc.ie
Thu May 20 18:21:30 EDT 2004

On Thu, May 20, 2004 at 05:16:45PM +0100, MR K P SCHUPKE wrote:
> >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,

I wasn't talking about _any_ notion of ordering of instance heads;  I
said that prioritising instance _declarations_ themselves, explicitly,
by 'name' would suffice.

More information about the Glasgow-haskell-users mailing list