Re: Unlifted data types

On Sep 8, 2015, at 10:15 AM, Jan Stolarek wrote:

But I still can say:

foo :: UBool foo = foo

... Or am I missing something here?

I'm afraid you are. Top-level variables may not have an unlifted type, for exactly this reason. If you were to do this on a local let, your program would loop when it hits the let, so there's no problem there. Richard