> The main implementation problem is extending instance lookup to cover
> multiple type constructors.  The prototype Glasgow compiler was
> designed to allow this, and I believe hbc also does this (as well as
> Gofer, of course), so it's not a big issue!
No, hbc don't do this (yet).  But the extension should be fairly
easy.
How about adding constructor classes?  I think that is at least as
important as multi-parameter classes.

        -- Lennart

Reply via email to