summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T7293.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/gadt/T7293.stderr')
-rw-r--r--testsuite/tests/gadt/T7293.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/gadt/T7293.stderr b/testsuite/tests/gadt/T7293.stderr
index 4546789ec2..deb1446127 100644
--- a/testsuite/tests/gadt/T7293.stderr
+++ b/testsuite/tests/gadt/T7293.stderr
@@ -1,9 +1,9 @@
-T7293.hs:26:1: error: [-Woverlapping-patterns (in -Wdefault), -Werror=overlapping-patterns]
+T7293.hs:26:1: error: [GHC-53633] [-Woverlapping-patterns (in -Wdefault), Werror=overlapping-patterns]
Pattern match is redundant
In an equation for ‘nth’: nth Nil _ = ...
-T7293.hs:26:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code]
+T7293.hs:26:5: error: [GHC-40564] [-Winaccessible-code (in -Wdefault), Werror=inaccessible-code]
• Inaccessible code in
a pattern with constructor: Nil :: forall a. Vec a 'Zero,
in an equation for ‘nth’