<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div dir="ltr">> On Thu, Aug 3, 2017 at 2:28 AM Sylvain Henry <<a href="mailto:sylvain@haskus.fr">sylvain@haskus.fr</a>> wrote:</div><div dir="ltr">> Hi,</div><div dir="ltr">></div><div dir="ltr">> I also think we should do this but it has a lot of ramifications: contant folding in Core, codegen, TH, etc.</div><div dir="ltr">></div><div dir="ltr">> Also it will break codes that use primitive types directly, so maybe it's worth a ghc proposal.</div><div dir="ltr"><br></div><div dir="ltr">Ok, a short proposal sounds reasonable.</div><div dir="ltr"><br></div><div dir="ltr">I don't think this would break a lot of code - based on a few searches</div><div dir="ltr">it seems that people don't really extract `Int#` from</div><div dir="ltr">`Int8/Int16/Int32` (similarly with words).</div><div dir="ltr">Or am I missing something?</div><div dir="ltr"><br></div><div dir="ltr">Thanks,</div><div dir="ltr">Michal</div><div dir="ltr"><br></div><div dir="ltr">PS. Sorry for slow reply - I was traveling.</div><div><br></div></div></div></div></div>