[commit: ghc] master: Fix #13963. (8f99cd6)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/8f99cd67262a67c46ed1af952003486825e0e9f7/ghc

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

commit 8f99cd67262a67c46ed1af952003486825e0e9f7
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Wed Aug 16 14:33:06 2017 -0400

    Fix #13963.
    
    This commit fixes several things:
    
    1. RuntimeRep arg suppression was overeager for *visibly*-quantified
    RuntimeReps, which should remain.
    
    2. The choice of whether to used a Named TyConBinder or an anonymous
    was sometimes wrong. Now, we do an extra little pass right before
    constructing the tycon to fix these.
    
    3. TyCons that normally cannot appear unsaturated can appear unsaturated
    in :kind. But this fact was not propagated into the type checker.
    It now is.


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

8f99cd67262a67c46ed1af952003486825e0e9f7
 compiler/iface/IfaceType.hs                |  4 +-
 compiler/typecheck/TcHsType.hs             | 63 ++++++++++++++++++++++++++----
 compiler/typecheck/TcRnDriver.hs           |  2 +-
 testsuite/tests/ghci/scripts/T13963.script |  9 +++++
 testsuite/tests/ghci/scripts/T13963.stdout |  4 ++
 testsuite/tests/ghci/scripts/all.T         |  1 +
 6 files changed, 73 insertions(+), 10 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 8f99cd67262a67c46ed1af952003486825e0e9f7