spec-constr: Lift argument limit for SPEC-marked functions
When the user adds a SPEC argument to a function, they are informing us that they expect the function to be specialised. However, previously this instruction could be preempted by the specialised-argument limit (sc_max_args). Fix this. This fixes #14003.
Showing
- compiler/GHC/Core/Opt/SpecConstr.hs 16 additions, 8 deletionscompiler/GHC/Core/Opt/SpecConstr.hs
- testsuite/tests/simplCore/should_compile/T14003.hs 30 additions, 0 deletionstestsuite/tests/simplCore/should_compile/T14003.hs
- testsuite/tests/simplCore/should_compile/T14003.stderr 349 additions, 0 deletionstestsuite/tests/simplCore/should_compile/T14003.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