On Sep 8, 2015, at 10:15 AM, Jan Stolarek <[email protected]> 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
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to