<div dir="ltr"><div>Hi Csaba,</div><div><br></div><div>Yes, boxed unlifted ADTs are supported by code-gen, or at least the fix for codegen to deal with it is [rather simple](<a href="https://gitlab.haskell.org/ghc/ghc/commit/fc4e2a03ebb40e2268ec0deb9833ec82bd2d7bee">https://gitlab.haskell.org/ghc/ghc/commit/fc4e2a03ebb40e2268ec0deb9833ec82bd2d7bee</a>).</div><div><br></div><div>Hope that helps.<br></div><div>Sebastian<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mo., 20. Jan. 2020 um 11:13 Uhr schrieb Csaba Hruska <<a href="mailto:csaba.hruska@gmail.com">csaba.hruska@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>I'm also interested if Boxed Unlifted non Primitive types are supported by the codegen?<br></div><div>Sorry, but I'm not confident enough in the topic to update the wiki.</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jan 20, 2020 at 10:58 AM Richard Eisenberg <<a href="mailto:rae@richarde.dev" target="_blank">rae@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>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" target="_blank">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" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/265</a>).<div><br></div><div>If the wiki is out of date, do you think you could update it?</div><div><br></div><div>Thanks!</div><div>Richard<br><div><br><blockquote type="cite"><div>On Jan 20, 2020, at 9:45 AM, Csaba Hruska <<a href="mailto:csaba.hruska@gmail.com" target="_blank">csaba.hruska@gmail.com</a>> wrote:</div><br><div><div dir="ltr"><div>Hello,</div><div><br></div><div>According to <a href="https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/type-type#Classifyingtypes" target="_blank">GHC Wiki</a> it seems that only primitive types can be unlifted.</div><div>Is this true in general? (i.e. no user type can be unlifted)<br></div><div><div><span id="gmail-m_8738500640847638128gmail-m_-1361387745851727641cid:ii_k5m9axkm0"><image.png></span><br>Does the Stg to Cmm codegen support compilation for a variable of user defined ADT as unlifted?</div></div><div>i.e. some analysis proved that it is always a constructor and never a thunk.</div><div><br></div><div>Thanks,</div><div>Csaba<br></div><div><br></div></div>
_______________________________________________<br>ghc-devs mailing list<br><a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br></div></blockquote></div><br></div></div></blockquote></div>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>