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 <[email protected]> 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 _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
