Fix several mistakes around free variables in iface breakpoints
Fixes #23612 , #23607, #23998 and #23666. MR: !11026 The fingerprinting logic in `Iface.Recomp` failed lookups when processing decls containing breakpoints for two reasons: * IfaceBreakpoint created binders for free variables instead of expressions * When collecting free names for the dependency analysis for fingerprinting, breakpoint FVs were skipped
Showing
- compiler/GHC/Core/Opt/SpecConstr.hs 3 additions, 10 deletionscompiler/GHC/Core/Opt/SpecConstr.hs
- compiler/GHC/Core/Opt/Specialise.hs 2 additions, 5 deletionscompiler/GHC/Core/Opt/Specialise.hs
- compiler/GHC/Core/Subst.hs 2 additions, 0 deletionscompiler/GHC/Core/Subst.hs
- compiler/GHC/CoreToIface.hs 1 addition, 1 deletioncompiler/GHC/CoreToIface.hs
- compiler/GHC/Iface/Syntax.hs 7 additions, 2 deletionscompiler/GHC/Iface/Syntax.hs
- compiler/GHC/IfaceToCore.hs 2 additions, 2 deletionscompiler/GHC/IfaceToCore.hs
- testsuite/tests/ghci/T23612/T23612.hs 23 additions, 0 deletionstestsuite/tests/ghci/T23612/T23612.hs
- testsuite/tests/ghci/T23612/T23612.script 1 addition, 0 deletionstestsuite/tests/ghci/T23612/T23612.script
- testsuite/tests/ghci/T23612/T23612b.script 1 addition, 0 deletionstestsuite/tests/ghci/T23612/T23612b.script
- testsuite/tests/ghci/T23612/T23612bA.hs 5 additions, 0 deletionstestsuite/tests/ghci/T23612/T23612bA.hs
- testsuite/tests/ghci/T23612/T23612bB.hs 5 additions, 0 deletionstestsuite/tests/ghci/T23612/T23612bB.hs
- testsuite/tests/ghci/T23612/all.T 2 additions, 0 deletionstestsuite/tests/ghci/T23612/all.T
Loading
Please register or sign in to comment