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@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs