is Unlifted Type == Primitive Type?

[Csaba Hruska]

I'm also interested if Boxed Unlifted non Primitive types are supported by
the codegen?
Sorry, but I'm not confident enough in the topic to update the wiki.


On Mon, Jan 20, 2020 at 10:58 AM Richard Eisenberg <rae at richarde.dev> wrote:

> The recent addition of -XUnliftedNewtypes means that user-defined newtypes
> (
> 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).
>
> 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/610da42d/attachment.html>