diff options
Diffstat (limited to 'testsuite/tests/gadt/T7293.stderr')
-rw-r--r-- | testsuite/tests/gadt/T7293.stderr | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/T7293.stderr b/testsuite/tests/gadt/T7293.stderr index 40b8a04333..664f9a09df 100644 --- a/testsuite/tests/gadt/T7293.stderr +++ b/testsuite/tests/gadt/T7293.stderr @@ -1,5 +1,9 @@ -T7293.hs:24:5: error: +T7293.hs:24:1: error: [-Woverlapping-patterns (in -Wdefault), -Werror=overlapping-patterns] + Pattern match is redundant + In an equation for ‘nth’: nth Nil _ = ... + +T7293.hs:24:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code] • Couldn't match type ‘'True’ with ‘'False’ Inaccessible code in a pattern with constructor: Nil :: forall a. Vec a 'Zero, |