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