
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Yes, please. Thanks for picking up on this!</div><div><br></div><div>Richard</div><br><div><div>On Dec 29, 2015, at 4:55 AM, Takenobu Tani <<a href="mailto:takenobu.hs@gmail.com">takenobu.hs@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div>Dear devs,</div><div><br></div><div>Apologies if I'm missing list.</div><div><br></div><div>May I update Kind page on wiki[1] ?</div><div><br></div><div><br></div><div>In my understanding[2], kind '#' means "unlifted" kind rather than "unboxed" kind.</div><div>If it's right, may I update the wiki[1] for newcomers ?</div><div><br></div><div>I'd like to change the wiki page[1] as following:</div><div><br></div><div>- GHC introduces another inhabited kind, #, for unboxed types.</div><div>+ GHC introduces another inhabited kind, #, for unlifted types.</div><div><br></div><div><br></div><div>[1]: <a href="https://wiki.haskell.org/Kind">https://wiki.haskell.org/Kind</a></div><div>[2]: <a href="https://ghc.haskell.org/trac/ghc/browser/ghc/compiler/types/TyCoRep.hs#L284">https://ghc.haskell.org/trac/ghc/browser/ghc/compiler/types/TyCoRep.hs#L284</a></div><div><br></div><div>I wish you a happy new year.</div><div>Regards,</div><div>Takenobu</div><div><br></div></div>

_______________________________________________<br>ghc-devs mailing list<br><a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs<br></blockquote></div><br></body></html>