is Unlifted Type == Primitive Type?

Hello, 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

Re: is Unlifted Type == Primitive Type?

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 a

Re: is Unlifted Type == Primitive Type?

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 wrote: > The recent addition of -XUnliftedNewtypes means that user-defined newtypes > (

Re: is Unlifted Type == Primitive Type?

Hi Csaba, Yes, boxed unlifted ADTs are supported by code-gen, or at least the fix for codegen to deal with it is [rather simple]( https://gitlab.haskell.org/ghc/ghc/commit/fc4e2a03ebb40e2268ec0deb9833ec82bd2d7bee ). Hope that helps. Sebastian Am Mo., 20. Jan. 2020 um 11:13 Uhr schrieb Csaba Hrus