On 20 April 2004 11:54, Alastair Reid wrote:

...

If FastInt is Int# in GHC, and we want it to be portable, then we have to introduce unlifted types & kinds in Hugs and nhc98 too.

Yes, I was proposing that Hugs and NHC be extended with unlifted types of some form.

I think this is only worth doing if someone can work out whether polymorphic kinds can be supported, perhaps in a restricted way, so that we can define instances of classes for unlifted types. There's a good open research question! Cheers, Simon