PmCheck: Look at precendence to give type signatures to some wildcards
Basically do what we currently only do for -XEmptyCase in other cases where adding the type signature won't distract from pattern matches in other positions. We use the precedence to guide us, equating "need to parenthesise" with "too much noise".
Showing
- compiler/deSugar/PmPpr.hs 35 additions, 16 deletionscompiler/deSugar/PmPpr.hs
- testsuite/tests/deSugar/should_compile/T14135.stderr 1 addition, 1 deletiontestsuite/tests/deSugar/should_compile/T14135.stderr
- testsuite/tests/dependent/should_compile/KindEqualities.stderr 1 addition, 1 deletion...uite/tests/dependent/should_compile/KindEqualities.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase001.stderr 1 addition, 0 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase001.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase002.stderr 6 additions, 7 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase002.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase004.stderr 3 additions, 3 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase004.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase005.stderr 6 additions, 6 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase005.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase006.stderr 4 additions, 4 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase006.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase007.stderr 4 additions, 4 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase007.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase008.stderr 3 additions, 3 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase008.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase009.stderr 2 additions, 2 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase009.stderr
- testsuite/tests/pmcheck/should_compile/EmptyCase010.stderr 10 additions, 10 deletionstestsuite/tests/pmcheck/should_compile/EmptyCase010.stderr
- testsuite/tests/pmcheck/should_compile/T11336b.stderr 1 addition, 1 deletiontestsuite/tests/pmcheck/should_compile/T11336b.stderr
- testsuite/tests/pmcheck/should_compile/T11822.stderr 3 additions, 3 deletionstestsuite/tests/pmcheck/should_compile/T11822.stderr
- testsuite/tests/pmcheck/should_compile/T15305.stderr 1 addition, 1 deletiontestsuite/tests/pmcheck/should_compile/T15305.stderr
- testsuite/tests/pmcheck/should_compile/pmc009.stderr 2 additions, 1 deletiontestsuite/tests/pmcheck/should_compile/pmc009.stderr
- testsuite/tests/warnings/should_fail/WerrorFail.stderr 1 addition, 1 deletiontestsuite/tests/warnings/should_fail/WerrorFail.stderr
- testsuite/tests/warnings/should_fail/WerrorFail2.stderr 1 addition, 1 deletiontestsuite/tests/warnings/should_fail/WerrorFail2.stderr
Please register or sign in to comment