> > Is it possible to set up classes that express the following (using
> > ghc extensions)?
>
> I hoped that the following would work (with -fglasgow-exts
> -fallow-overlapping-instances -fallow-undecidable-instances)
> but it does not choose the instance of SubsetOfPoint I want.
I'm not quite s
29 Jul 1999 16:58:53 GMT, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> pisze:
> Is it possible to set up classes that express the following (using
> ghc extensions)?
[...]
I hoped that the following would work (with -fglasgow-exts
-fallow-overlapping-instances -fallow-undecidable-instances)
but
Is it possible to set up classes that express the following (using
ghc extensions)?
There are various kinds of geometrical shapes. They can be packed
inside an existentially qualified datatype. Values of that existential
need to be compared for equality: the comparison of figures of
different sha
