is Unlifted Type == Primitive Type?

[Richard Eisenberg]

The recent addition of -XUnliftedNewtypes means that user-defined newtypes (https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst>) can indeed be unlifted and unboxed. There is also a proposal for more general unlifted data (https://github.com/ghc-proposals/ghc-proposals/pull/265 <https://github.com/ghc-proposals/ghc-proposals/pull/265>).

If the wiki is out of date, do you think you could update it?

Thanks!
Richard

> On Jan 20, 2020, at 9:45 AM, Csaba Hruska <csaba.hruska at gmail.com> wrote:
> 
> 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.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
> 
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200120/bda778ff/attachment.html>