<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">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><img src="cid:ii_k5m9axkm0" alt="image.png" style="margin-right: 0px;" width="329" height="210"><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>