Track in-scope variables in ruleCheckProgram
This small patch fixes #24726, by tracking in-scope variables properly in -drule-check. Not hard to do!
Showing
- compiler/GHC/Core/Rules.hs 46 additions, 29 deletionscompiler/GHC/Core/Rules.hs
- testsuite/tests/simplCore/should_compile/T24726.hs 26 additions, 0 deletionstestsuite/tests/simplCore/should_compile/T24726.hs
- testsuite/tests/simplCore/should_compile/T24726.stderr 36 additions, 0 deletionstestsuite/tests/simplCore/should_compile/T24726.stderr
- testsuite/tests/simplCore/should_compile/all.T 1 addition, 0 deletionstestsuite/tests/simplCore/should_compile/all.T
Loading
Please register or sign in to comment