diff options
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/EmptyCase002.stderr')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/EmptyCase002.stderr | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/EmptyCase002.stderr b/testsuite/tests/pmcheck/should_compile/EmptyCase002.stderr index d6c39ec4f7..af9411c6a3 100644 --- a/testsuite/tests/pmcheck/should_compile/EmptyCase002.stderr +++ b/testsuite/tests/pmcheck/should_compile/EmptyCase002.stderr @@ -1,22 +1,25 @@ EmptyCase002.hs:16:6: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive - In a case alternative: Patterns not matched: MkT _ + In a case alternative: Patterns of type ‘T’ not matched: MkT _ EmptyCase002.hs:43:6: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In a case alternative: - Patterns not matched: + Patterns of type ‘T1 B’ not matched: MkT1 B1 MkT1 B2 EmptyCase002.hs:47:6: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In a case alternative: - Patterns not matched: + Patterns of type ‘T1 (E Int)’ not matched: MkT1 False MkT1 True EmptyCase002.hs:51:6: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive - In a case alternative: Patterns not matched: MkT1 (MkT2 (MkT1 D2)) + In a case alternative: + Patterns of type ‘T1 + (T2 (T1 (D (E Int) (E (E Int)))))’ not matched: + MkT1 (MkT2 (MkT1 D2)) |