Unlifted data types

[Richard Eisenberg]

On Sep 8, 2015, at 10:15 AM, Jan Stolarek <jan.stolarek at p.lodz.pl> 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