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
