Kinds of type synonym arguments
Reid Barton
rwbarton at gmail.com
Mon Dec 21 11:31:38 UTC 2015
On Mon, Dec 21, 2015 at 5:13 AM, Simon Peyton Jones <simonpj at microsoft.com>
wrote:
> newtype T = MkT Int#
>
>
>
> 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.
>
>
>
> Worth a wiki page and a ticket.
>
There is already a ticket at least,
https://ghc.haskell.org/trac/ghc/ticket/1311.
Regards,
Reid Barton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151221/9b73cf7d/attachment.html>
More information about the ghc-devs
mailing list