[commit: ghc] master: Fix in-scope set in simplifier (fe6848f)

[git at git.haskell.org]

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

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

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

commit fe6848f544c2a14086bcef388c46f4070c22d287
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Nov 8 11:09:33 2017 +0000

    Fix in-scope set in simplifier
    
    This patch fixes Trac #14408.  The problem was that the StaticEnv
    field of an ApplyToVar or Select continuation didn't have enough
    variables in scope.  The fix is simple, and I documented the
    invariant in Note [StaticEnv invariant] in SimplUtils.
    
    No change in behaviour: this just stops an ASSERT from tripping.


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

fe6848f544c2a14086bcef388c46f4070c22d287
 compiler/simplCore/SimplEnv.hs   |  4 +---
 compiler/simplCore/SimplUtils.hs | 30 ++++++++++++++++++++-----
 compiler/simplCore/Simplify.hs   | 47 +++++++++++++++++++++++++---------------
 3 files changed, 56 insertions(+), 25 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 fe6848f544c2a14086bcef388c46f4070c22d287