#ifdef considered harmful (was: DData)

[Simon Marlow]

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