<div dir="ltr">On Mon, Dec 21, 2015 at 5:13 AM, Simon Peyton Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div link="blue" vlink="purple" lang="EN-GB">
<div>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">newtype T = MkT Int#<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Provided T :: # (i.e. unlifted), I don’t think this would be too hard.  That is, you can give a new name (via newtype) to an unlifted type like Int#, Float#, Double#
 etc.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Worth a wiki page and a ticket.<u></u><u></u></span></p>
</div></div></blockquote><div><br></div><div>There is already a ticket at least, <a href="https://ghc.haskell.org/trac/ghc/ticket/1311">https://ghc.haskell.org/trac/ghc/ticket/1311</a>.<br><br></div><div>Regards,<br></div><div>Reid Barton<br></div></div></div></div>