Skip to content
  • Simon Peyton Jones's avatar
    Fix in-scope set in simplifier · fe6848f5
    Simon Peyton Jones authored
    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.
    fe6848f5