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 <[email protected]>: > 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:[email protected]] *On Behalf Of *Takenobu > Tani > *Sent:* 13 January 2017 13:01 > *To:* [email protected] > *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 > > >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
