[commit: ghc] master: Improve pretty-printing of types (66c5ddb)

[git at git.haskell.org]

Repository : ssh://git at git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/66c5ddba449e78a174e989ea35783eb6c793e483/ghc

>---------------------------------------------------------------

commit 66c5ddba449e78a174e989ea35783eb6c793e483
Author: unknown <simonpj at MSRC-4971295.europe.corp.microsoft.com>
Date:   Tue Oct 1 16:34:00 2013 +0100

    Improve pretty-printing of types
    
    * The main change is to suppress printing (in types) of
         kind for-alls
         kind applications
      The new flag -fprint-explicit-kinds prints them as before
      (by analogy with the existing -fprint-explicit-foralls)
    
    * I also took advantage of the fact that SDoc now has access
      to DynFlags, to tidy up the way in which explicit for-alls
      are printed.  Instead of passing a boolean flag around, we
      now simply consult the DynFlags.  Much neater.
    
    I still need to add documentation for the flag


>---------------------------------------------------------------

66c5ddba449e78a174e989ea35783eb6c793e483
 compiler/ghci/Debugger.hs   |    5 +-
 compiler/main/DynFlags.hs   |    2 +
 compiler/main/PprTyThing.hs |  156 ++++++++++++++++++++++---------------------
 compiler/types/TypeRep.lhs  |  126 ++++++++++++++++++++++------------
 ghc/InteractiveUI.hs        |   52 ++++++---------
 5 files changed, 189 insertions(+), 152 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 66c5ddba449e78a174e989ea35783eb6c793e483