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-un... 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 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