Kind page of trac wiki

Simon Peyton Jones simonpj at microsoft.com
Fri Jan 13 13:28:28 UTC 2017


Yes, that looks right. But much is in flux with levity polymorphism!
https://ghc.haskell.org/trac/ghc/wiki/LevityPolymorphism

Thanks.  We need people to keep improving the wiki; it tends to get out of date

Simon

From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Takenobu Tani
Sent: 13 January 2017 13:01
To: ghc-devs at haskell.org
Subject: Kind page of trac wiki

Dear devs,

May I update Kind page of trac wiki [1] as following ?

- "#" is the kind of unboxed values. Things like Int# have kind #.
+ "#" is the kind of unlifted values. Things like Int# have kind #.

Is this correct?


(These pages [2][3] are explained as "unlifted values".)

[1]: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Kinds
[2]: https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes
[3]: https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds

Regards,
Takenobu

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170113/8eae0a64/attachment.html>


More information about the ghc-devs mailing list