diff options
| author | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-25 16:16:53 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-27 22:14:44 -0400 |
| commit | 1582dafa319fe3142844847e581d50cf3326e5e0 (patch) | |
| tree | e9ff9af68006e71720aa848228bf3c79f6d6e73e /testsuite/tests/dependent/should_compile | |
| parent | 444e554f6d034642f3f2a7c077cca412a6c22c5d (diff) | |
| download | haskell-1582dafa319fe3142844847e581d50cf3326e5e0.tar.gz | |
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".
Diffstat (limited to 'testsuite/tests/dependent/should_compile')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/KindEqualities.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_compile/KindEqualities.stderr b/testsuite/tests/dependent/should_compile/KindEqualities.stderr index 684c1380aa..81bbc539cf 100644 --- a/testsuite/tests/dependent/should_compile/KindEqualities.stderr +++ b/testsuite/tests/dependent/should_compile/KindEqualities.stderr @@ -3,4 +3,4 @@ KindEqualities.hs:25:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘zero’: Patterns not matched: - (TyApp (TyApp p _) _) where p is not one of {TyInt} + TyApp (TyApp p _) _ where p is not one of {TyInt} |