[commit: ghc] ghc-7.8: Print for-alls more often (Trac #9018) (175791f)

[git at git.haskell.org]

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

On branch  : ghc-7.8
Link       : http://ghc.haskell.org/trac/ghc/changeset/175791f98e8f009f4c68441e3411673bbb454871/ghc

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

commit 175791f98e8f009f4c68441e3411673bbb454871
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Apr 28 14:49:21 2014 +0100

    Print for-alls more often (Trac #9018)
    
    We now display the foralls of a type if any of the type variables
    is polykinded.  This put kind polymorphism "in your face" a bit more
    often, but eliminates a lot of head scratching.
    
    The user manual reflects the new behaviour.
    
    (cherry picked from commit 2f3ea95285d0cccc2a999e7572d8fb78dc2ea441)
    
    Conflicts:
    	testsuite/tests/ghci/scripts/ghci059.stdout
    	testsuite/tests/polykinds/T7438.stderr


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

175791f98e8f009f4c68441e3411673bbb454871
 compiler/main/PprTyThing.hs                        | 11 +++----
 compiler/typecheck/TcRnTypes.lhs                   |  7 +++--
 compiler/types/TypeRep.lhs                         | 36 ++++++++++++++++------
 docs/users_guide/using.xml                         | 29 +++++++++++++----
 testsuite/tests/ghci/scripts/T7873.stdout          |  3 +-
 .../tests/indexed-types/should_fail/T7786.stderr   |  2 +-
 testsuite/tests/polykinds/T7230.stderr             |  4 +--
 testsuite/tests/polykinds/T8566.stderr             |  3 +-
 testsuite/tests/roles/should_compile/Roles1.stderr |  6 ++--
 testsuite/tests/th/TH_Roles2.stderr                |  2 +-
 10 files changed, 70 insertions(+), 33 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 175791f98e8f009f4c68441e3411673bbb454871