<div dir="ltr"><div>Hi Richard,</div><div><br></div><div>Thank you for the advice.</div><div>I'll get a wiki account and update this.</div><div><br></div><div>I wish you a happy new year =)</div><div>Regards,</div><div>Takenobu</div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-12-30 23:51 GMT+09:00 Richard Eisenberg <span dir="ltr"><<a href="mailto:eir@cis.upenn.edu" target="_blank">eir@cis.upenn.edu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>Yes, please. Thanks for picking up on this!</div><div><br></div><div>Richard</div><br><div><div><div class="h5"><div>On Dec 29, 2015, at 4:55 AM, Takenobu Tani <<a href="mailto:takenobu.hs@gmail.com" target="_blank">takenobu.hs@gmail.com</a>> wrote:</div><br></div></div><blockquote type="cite"><div><div class="h5"><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" target="_blank">https://wiki.haskell.org/Kind</a></div><div>[2]: <a href="https://ghc.haskell.org/trac/ghc/browser/ghc/compiler/types/TyCoRep.hs#L284" target="_blank">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></div></div>
_______________________________________________<br>ghc-devs mailing list<br><a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br></blockquote></div><br></div></blockquote></div><br></div>