diff options
Diffstat (limited to 'testsuite/tests/gadt/T7294.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T7294.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr index d7b53ee9e2..f694af8d0c 100644 --- a/testsuite/tests/gadt/T7294.stderr +++ b/testsuite/tests/gadt/T7294.stderr @@ -4,7 +4,7 @@ T7294.hs:27:1: warning: [-Woverlapping-patterns (in -Wdefault)] In an equation for ‘nth’: nth Nil _ = ... T7294.hs:27:5: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘'True’ with ‘'False’ + • Couldn't match type ‘'False’ with ‘'True’ Inaccessible code in a pattern with constructor: Nil :: forall a. Vec a 'Zero, in an equation for ‘nth’ |