separate class and type namespace

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Jan 31 08:51:21 EST 2006


Marcin 'Qrczak' Kowalczyk <qrczak at knm.org.pl> writes:

> > I've always liked the idea of saying 'class C' or 'type T' in
> > import/export lists.
> 
> Type signatures too should be allowed in export lists.

Both ideas already noted at
    http://haskell.galois.com/trac/haskell-prime/wiki/ModuleSystem

Regards,
    Malcolm


More information about the Haskell-prime mailing list