Remaining type=kind items

[Richard Eisenberg]

Yes -- these are very much on the TODO list.

Sadly, visible type application didn't make it. It could with another two weeks(?), but I don't think it's worth holding things up further. Unlike D808, visible type application doesn't touch wide swaths of code, so merging it after the ghc-8.0 branch won't cause backporting trouble.

I plan on writing a longish section in the user manual about GHC's kind system, updating the PolyKinds discussion already there. Should happen this week.

Richard

On Dec 14, 2015, at 8:32 AM, Ben Gamari <ben at smart-cactus.org> wrote:

> Hi Richard!
> 
> This is probably on your to-do list, but here are a few
> places where I think the no-kinds work could use some documentation,
> 
>    - the introduction of kind equalities could use a brief note in the
>      release notes
> 
>    - visible type application should be mentioned in the release notes
>      (this made it in, right?)
> 
>    - visible type application syntax should be described in the users
>      guide
> 
>    - `-XTypeInType` needs some discussion in the users guide. Be sure
>      to mention the fact that `*` needs to be imported explicitly and
>      state precisely how one would do this (since it is a symbol)
> 
>    - the notion of levity could use a bit of discussion in the users
>      guide
> 
> Cheers,
> 
> - Ben