Lars Henrik Mathiesen wrote: > > > Date: Sun, 13 Jun 1999 01:51:06 -0400 > > From: Kevin Atkinson <[EMAIL PROTECTED]> > > > Could some one explain to me why [this is not OK]: > > > class T f r > > > > instance T a (d a) > > instance T (c a b) (c a (d b)) > > Because, just as Hugs says: Thanks but why is this OK? 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)). -- Kevin Atkinson [EMAIL PROTECTED] http://metalab.unc.edu/kevina/
- Overlapping instances? Kevin Atkinson
- Re: Overlapping instances? Lars Henrik Mathiesen
- Re: Overlapping instances? Kevin Atkinson
- Re: Overlapping instances? Lars Henrik Mathiesen
- RE: Overlapping instances? Mark P Jones