is Unlifted Type == Primitive Type?

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


Hello,

According to GHC Wiki
<https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/type-type#Classifyingtypes>
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.

Thanks,
Csaba
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200120/7559f2a3/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 42890 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200120/7559f2a3/attachment.png>


More information about the ghc-devs mailing list