[commit: ghc] master: Have addModFinalizer expose the local type environment. (e5d1ed9)

[git at git.haskell.org]

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

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

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

commit e5d1ed9c8910839e109da59820ca793642961284
Author: Facundo Domínguez <facundo.dominguez at tweag.io>
Date:   Mon Jan 2 19:42:20 2017 -0300

    Have addModFinalizer expose the local type environment.
    
    Summary:
    Kind inference in ghci was interfered when renaming of type splices
    introduced the HsSpliced data constructor. This patch has kind
    inference skip over it.
    
    Test Plan: ./validate
    
    Reviewers: simonpj, rrnewton, austin, goldfire, bgamari
    
    Reviewed By: goldfire, bgamari
    
    Subscribers: thomie, mboes
    
    Differential Revision: https://phabricator.haskell.org/D2886
    
    GHC Trac Issues: #12985


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

e5d1ed9c8910839e109da59820ca793642961284
 compiler/coreSyn/CoreLint.hs                       | 100 ++++++------
 compiler/coreSyn/CoreUtils.hs                      |  25 ++-
 compiler/deSugar/DsExpr.hs                         |  58 +------
 compiler/main/StaticPtrTable.hs                    | 175 ++++++++++++++-------
 compiler/main/TidyPgm.hs                           |  32 ++--
 compiler/prelude/PrelNames.hs                      |  11 ++
 compiler/simplCore/SetLevels.hs                    |   4 +-
 compiler/simplCore/SimplCore.hs                    |  45 ++++--
 libraries/base/GHC/StaticPtr/Internal.hs           |  24 +++
 libraries/base/base.cabal                          |   1 +
 testsuite/tests/codeGen/should_run/T12622.hs       |  19 +++
 .../tests/codeGen/should_run/T12622.stdout         |   0
 testsuite/tests/codeGen/should_run/T12622_A.hs     |  15 ++
 testsuite/tests/codeGen/should_run/all.T           |   1 +
 14 files changed, 304 insertions(+), 206 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 e5d1ed9c8910839e109da59820ca793642961284