[commit: ghc] ghc-8.0: Fix #11334. (44a95c6)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/44a95c6f2421c265da6d20af8c2968933b0d1878/ghc

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

commit 44a95c6f2421c265da6d20af8c2968933b0d1878
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Feb 22 21:47:32 2016 -0500

    Fix #11334.
    
    Now we fail when trying to default non-*-kinded kind variables
    with -XNoPolyKinds.
    
    test case: dependent/should_fail/T11334
    
    [skip ci]
    
    (cherry picked from commit 84c773e1bc5c551b0f922c6fe9c70762d184a394)


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

44a95c6f2421c265da6d20af8c2968933b0d1878
 compiler/typecheck/TcMType.hs                      | 87 +++++++++++++++++++++-
 compiler/types/TyCoRep.hs                          |  4 +-
 testsuite/tests/dependent/should_fail/T11334.hs    |  8 ++
 .../tests/dependent/should_fail/T11334.stderr      | 24 ++++++
 testsuite/tests/dependent/should_fail/all.T        |  1 +
 5 files changed, 119 insertions(+), 5 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 44a95c6f2421c265da6d20af8c2968933b0d1878