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/fc4e2a03ebb40e2268ec0deb9833ec82bd... ). Hope that helps. Sebastian Am Mo., 20. Jan. 2020 um 11:13 Uhr schrieb Csaba Hruska < csaba.hruska@gmail.com>:

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 ( https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-un...) 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 wrote:

Hello,

According to GHC Wiki https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/type-type#Class... it seems that only primitive types can be unlifted. Is this true in general? (i.e. no user type can be unlifted) 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs