diff options
Diffstat (limited to 'testsuite/tests/gadt/T7293.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T7293.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/gadt/T7293.stderr b/testsuite/tests/gadt/T7293.stderr index 5625ff01c5..4546789ec2 100644 --- a/testsuite/tests/gadt/T7293.stderr +++ b/testsuite/tests/gadt/T7293.stderr @@ -4,9 +4,9 @@ T7293.hs:26:1: error: [-Woverlapping-patterns (in -Wdefault), -Werror=overlappin In an equation for ‘nth’: nth Nil _ = ... T7293.hs:26:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code] - • Couldn't match type ‘'False’ with ‘'True’ - Inaccessible code in + • Inaccessible code in a pattern with constructor: Nil :: forall a. Vec a 'Zero, in an equation for ‘nth’ + Couldn't match type ‘'False’ with ‘'True’ • In the pattern: Nil In an equation for ‘nth’: nth Nil _ = undefined |