> Date: Sun, 13 Jun 1999 16:46:57 -0400
> From: Kevin Atkinson <[EMAIL PROTECTED]>
> Thanks but why is this OK?
Sorry, I misunderstood the question.
> class T f r
>
> instance T a (a)
> instance T (c a b) (c a (b))
> I mean the comman instance here is T (c a b) (c a (b)).
Well, in a sense these instance declarations aren't overlapping ---
one is a proper subset of the other. But I just realized that I've
never understood how instance declarations without type constants are
supposed to work anyway.
Lars Mathiesen (U of Copenhagen CS Dep) <[EMAIL PROTECTED]> (Humour NOT marked)
