[commit: ghc] master: Print for-alls more often (Trac #9018) (2f3ea95)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/2f3ea95285d0cccc2a999e7572d8fb78dc2ea441/ghc

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

commit 2f3ea95285d0cccc2a999e7572d8fb78dc2ea441
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.


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

2f3ea95285d0cccc2a999e7572d8fb78dc2ea441
 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 +-
 testsuite/tests/ghci/scripts/ghci059.stdout        |    4 ++-
 .../tests/indexed-types/should_fail/T7786.stderr   |    2 +-
 testsuite/tests/polykinds/T7230.stderr             |    4 +--
 testsuite/tests/polykinds/T7438.stderr             |    2 +-
 testsuite/tests/polykinds/T8566.stderr             |    3 +-
 testsuite/tests/roles/should_compile/Roles1.stderr |    6 ++--
 testsuite/tests/th/TH_Roles2.stderr                |    2 +-
 12 files changed, 74 insertions(+), 35 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 2f3ea95285d0cccc2a999e7572d8fb78dc2ea441