Make pattern synonyms play with CallStack
This small patch makes pattern synonyms play nicely with CallStack constraints, using logic explained in GHC.Tc.Gen.Pat Note [Call-stack tracing of pattern synonyms] Fixes #19289
Showing
- compiler/GHC/Tc/Gen/Pat.hs 27 additions, 2 deletionscompiler/GHC/Tc/Gen/Pat.hs
- testsuite/tests/deSugar/should_run/T19289.hs 31 additions, 0 deletionstestsuite/tests/deSugar/should_run/T19289.hs
- testsuite/tests/deSugar/should_run/T19289.stdout 4 additions, 0 deletionstestsuite/tests/deSugar/should_run/T19289.stdout
- testsuite/tests/deSugar/should_run/all.T 1 addition, 0 deletionstestsuite/tests/deSugar/should_run/all.T
Loading
Please register or sign in to comment