diff options
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/T17977.stderr')
-rw-r--r-- | testsuite/tests/pmcheck/should_compile/T17977.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T17977.stderr b/testsuite/tests/pmcheck/should_compile/T17977.stderr index 43aaa6f735..f9cb656f42 100644 --- a/testsuite/tests/pmcheck/should_compile/T17977.stderr +++ b/testsuite/tests/pmcheck/should_compile/T17977.stderr @@ -2,7 +2,8 @@ T17977.hs:31:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘f’: - Patterns not matched: + Patterns of type ‘SNat m’, ‘SNat n’, ‘SNat o’, + ‘R m n o’ not matched: SZ SZ SZ _ SZ SZ (SS _) _ SZ (SS _) SZ _ |