May I update Kind page on wiki?
Richard Eisenberg
eir at cis.upenn.edu
Wed Dec 30 14:51:23 UTC 2015
Yes, please. Thanks for picking up on this!
Richard
On Dec 29, 2015, at 4:55 AM, Takenobu Tani <takenobu.hs at gmail.com> wrote:
> Dear devs,
>
> Apologies if I'm missing list.
>
> May I update Kind page on wiki[1] ?
>
>
> In my understanding[2], kind '#' means "unlifted" kind rather than "unboxed" kind.
> If it's right, may I update the wiki[1] for newcomers ?
>
> I'd like to change the wiki page[1] as following:
>
> - GHC introduces another inhabited kind, #, for unboxed types.
> + GHC introduces another inhabited kind, #, for unlifted types.
>
>
> [1]: https://wiki.haskell.org/Kind
> [2]: https://ghc.haskell.org/trac/ghc/browser/ghc/compiler/types/TyCoRep.hs#L284
>
> I wish you a happy new year.
> Regards,
> Takenobu
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151230/ab984417/attachment.html>
More information about the ghc-devs
mailing list