[commit: ghc] master: Avoid creating dependent types in FloatOut (4bb54a4)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4bb54a4522d44a81b2c47233f48252bd73c38279/ghc

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

commit 4bb54a4522d44a81b2c47233f48252bd73c38279
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Oct 11 14:58:38 2017 +0100

    Avoid creating dependent types in FloatOut
    
    This bug was exposed by Trac #14270.  The problem and its cure
    is described in SetLevels, Note [Floating and kind casts].
    
    It's simple and will affect very few programs.  But the very
    fact that it was so unexpected is discomforting.


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

4bb54a4522d44a81b2c47233f48252bd73c38279
 compiler/simplCore/SetLevels.hs     |  81 +++++++++++++++++++-------
 testsuite/tests/polykinds/T14270.hs | 110 ++++++++++++++++++++++++++++++++++++
 testsuite/tests/polykinds/all.T     |   1 +
 3 files changed, 172 insertions(+), 20 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 4bb54a4522d44a81b2c47233f48252bd73c38279