Excessive restriction in ghc ?
Tue, 19 Dec 2000 11:04:31 -0500
Marcin Kowalczyk wrote:
> On Tue, Dec 19, 2000 at 03:15:16PM +0100, Sebastien Carlier wrote:
> > > class Collection e ce | ce -> e where
> > > empty :: ce
> > > insert :: e -> ce -> ce
> > >
> > > class (Eq e, Collection e ce) => Set e ce where
> Doesn't adding the fundep to Set's definition as well help?
It might help in this particular case, but if we want something like
class Collection e ce => Foo ce where ...
then your trick does not apply, and I indeed need something like the
above in my project.
-- Zhanyong Wan