Unlifted data types

Richard Eisenberg eir at cis.upenn.edu
Tue Sep 8 14:56:31 UTC 2015

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.


More information about the ghc-devs mailing list