<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">The recent addition of -XUnliftedNewtypes means that user-defined newtypes (<a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst" class="">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst</a>) can indeed be unlifted and unboxed. There is also a proposal for more general unlifted data (<a href="https://github.com/ghc-proposals/ghc-proposals/pull/265" class="">https://github.com/ghc-proposals/ghc-proposals/pull/265</a>).<div class=""><br class=""></div><div class="">If the wiki is out of date, do you think you could update it?</div><div class=""><br class=""></div><div class="">Thanks!</div><div class="">Richard<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Jan 20, 2020, at 9:45 AM, Csaba Hruska <<a href="mailto:csaba.hruska@gmail.com" class="">csaba.hruska@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="">Hello,</div><div class=""><br class=""></div><div class="">According to <a href="https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/type-type#Classifyingtypes" class="">GHC Wiki</a> it seems that only primitive types can be unlifted.</div><div class="">Is this true in general? (i.e. no user type can be unlifted)<br class=""></div><div class=""><div class=""><span id="cid:ii_k5m9axkm0"><image.png></span><br class="">Does the Stg to Cmm codegen support compilation for a variable of user defined ADT as unlifted?</div></div><div class="">i.e. some analysis proved that it is always a constructor and never a thunk.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Csaba<br class=""></div><div class=""><br class=""></div></div>
_______________________________________________<br class="">ghc-devs mailing list<br class=""><a href="mailto:ghc-devs@haskell.org" class="">ghc-devs@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs<br class=""></div></blockquote></div><br class=""></div></body></html>