Hi Simon, Thanks for the reply and explanation. I'll update the kind page and add explanation to refer to page of "LevityPolymorphism". Regards, Takenobu 2017-01-13 22:28 GMT+09:00 Simon Peyton Jones :

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@haskell.org] *On Behalf Of *Takenobu Tani *Sent:* 13 January 2017 13:01 *To:* ghc-devs@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