Eta expand through CallStacks
This patch fixes #20103, by treating HasCallStack constraints as cheap when eta-expanding. See Note [Eta expanding through CallStacks] in GHC.Core.Opt.Arity
Showing
- compiler/GHC/Core/Opt/Arity.hs 19 additions, 2 deletionscompiler/GHC/Core/Opt/Arity.hs
- compiler/GHC/Core/Predicate.hs 35 additions, 0 deletionscompiler/GHC/Core/Predicate.hs
- compiler/GHC/Tc/Utils/TcType.hs 1 addition, 22 deletionscompiler/GHC/Tc/Utils/TcType.hs
- testsuite/tests/simplCore/should_compile/T20103.hs 8 additions, 0 deletionstestsuite/tests/simplCore/should_compile/T20103.hs
- testsuite/tests/simplCore/should_compile/T20103.stderr 153 additions, 0 deletionstestsuite/tests/simplCore/should_compile/T20103.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