<div dir="ltr"><div>Dear devs,</div><div><br></div><div>May I update Kind page of trac wiki [1] as following ?</div><div><br></div><div>- "#" is the kind of unboxed values. Things like Int# have kind #. </div><div>+ "#" is the kind of unlifted values. Things like Int# have kind #. </div><div><br></div><div>Is this correct?<br></div><div><br></div><div><br></div><div>(These pages [2][3] are explained as "unlifted values".)</div><div><br></div><div>[1]: <a href="https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Kinds">https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Kinds</a></div><div>[2]: <a href="https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes">https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes</a></div><div>[3]: <a href="https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds">https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds</a></div><div><br></div><div>Regards,</div><div>Takenobu</div><div><br></div></div>