Tue, 15 Feb 2000 17:51:51 +0300 (MSK), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> Here A is a superclass for B, so, `B a =>' is a more special
> condition than `A a =>'.
I am not brave enough to try to formulate general rules of determining
which context is more general,
Tom Pledger wrote:
> Marcin 'Qrczak' Kowalczyk writes:
> > [...] However in the following case there is an ambiguity that I
> > don't know how to resolve - overlapping instances don't solve what
> > they seemed to claim to solve:
> >
> > classA a where ...
> > class A a => B a where
A refresh release of GreenCard is now available via its homepage
http://www.dcs.gla.ac.uk/fp/software/green-card/
Aside from a couple of bugfixes, the binary RPM now also includes
Hugs98 support.
enjoy
--sigbjorn
Sven Panne <[EMAIL PROTECTED]> writes:
>
> Julian Assange wrote:
> > I'm ha
Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> writes on 14 Feb 2000
> [..]
> overlapping instances don't solve what they seemed to claim to solve:
>
> classA a where ...
> class A a => B a where ...
> classC a where ...
>
> instance A a => C a where ...
> instance B a => C a
