summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2016-02-27 19:45:11 +0100
committerHerbert Valerio Riedel <hvr@gnu.org>2016-02-27 19:45:11 +0100
commit3cd4c9ca4564982cf159f11f59d434235ba28808 (patch)
tree17b6b13f6d8a177d341b39eb94be110919a0a14d /testsuite/tests/gadt
parentb6c61e372a1a783b32f1bbd1ceb446e89478a138 (diff)
downloadhaskell-3cd4c9ca4564982cf159f11f59d434235ba28808.tar.gz
Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)
This was missed in bb5afd3c274011c5ea302210b4c290ec1f83209c
Diffstat (limited to 'testsuite/tests/gadt')
-rw-r--r--testsuite/tests/gadt/T7294.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr
index 5fd4ea92ab..2782b8a1f2 100644
--- a/testsuite/tests/gadt/T7294.stderr
+++ b/testsuite/tests/gadt/T7294.stderr
@@ -3,7 +3,7 @@ T7294.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In an equation for ‘nth’: nth Nil _ = ...
-T7294.hs:25:5: warning:
+T7294.hs:25:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match type ‘'True’ with ‘'False’
Inaccessible code in
a pattern with constructor: Nil :: forall a. Vec a 'Zero,