May I update Kind page on wiki?
Takenobu Tani
takenobu.hs at gmail.com
Thu Dec 31 05:59:56 UTC 2015
Hi Richard,
Thank you for the advice.
I'll get a wiki account and update this.
I wish you a happy new year =)
Regards,
Takenobu
2015-12-30 23:51 GMT+09:00 Richard Eisenberg <eir at cis.upenn.edu>:
> 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/20151231/13c8b005/attachment.html>
More information about the ghc-devs
mailing list