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
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