is Unlifted Type == Primitive Type?

Csaba Hruska csaba.hruska at
Mon Jan 20 09:45:12 UTC 2020


According to GHC Wiki
it seems that only primitive types can be unlifted.
Is this true in general? (i.e. no user type can be unlifted)
[image: image.png]
Does the Stg to Cmm codegen support compilation for a variable of user
defined ADT as unlifted?
i.e. some analysis proved that it is always a constructor and never a thunk.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 42890 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list