[GHC] #8357: Pretty printing of kind-involving inferred types

[GHC]

#8357: Pretty printing of kind-involving inferred types
-------------------------------------+------------------------------------
        Reporter:  ksf               |            Owner:
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.7
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by simonpj):

 Actually I did do the documentation too, in
 {{{
 commit 63f2eee8908e26779c73365ef3c58ade2b73fb6a
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Tue Oct 1 19:18:27 2013 +0100

     Documentation for -fprint-explicit-foralls and -fprint-explicit-kinds

     Plus a tidy-up of the flag documentation in the immediate area

  docs/users_guide/flags.xml |  175
 +++++++++++++++++++++++---------------------
  docs/users_guide/using.xml |   41 ++++++++++-
  2 files changed, 132 insertions(+), 84 deletions(-)
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8357#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler