diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2016-02-27 13:50:10 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2016-02-27 16:35:45 +0100 |
| commit | b9c697eefd34fcba3ab9c1f831baf7f651ad7503 (patch) | |
| tree | 73dd59a223adc3f855da6613c0a99ed2e1fb6f77 /testsuite/tests/gadt/T7294.stderr | |
| parent | 3ee4fc04322dacb66c70262a220dce0f52c29d4f (diff) | |
| download | haskell-b9c697eefd34fcba3ab9c1f831baf7f651ad7503.tar.gz | |
Print which flag controls emitted desugaring warnings
This is extends bb5afd3c274011c5ea302210b4c290ec1f83209c to cover
warnings emitted during the desugaring phase.
This implements another part of #10752
Reviewed-by: quchen, bgamari
Differential Revision: https://phabricator.haskell.org/D1954
Diffstat (limited to 'testsuite/tests/gadt/T7294.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T7294.stderr | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr index a8ea17df80..5fd4ea92ab 100644 --- a/testsuite/tests/gadt/T7294.stderr +++ b/testsuite/tests/gadt/T7294.stderr @@ -1,12 +1,12 @@ -
-T7294.hs:25:1: warning:
- Pattern match is redundant
- In an equation for ‘nth’: nth Nil _ = ...
-
-T7294.hs:25:5: warning:
- • Couldn't match type ‘'True’ with ‘'False’
- Inaccessible code in
- a pattern with constructor: Nil :: forall a. Vec a 'Zero,
- in an equation for ‘nth’
- • In the pattern: Nil
- In an equation for ‘nth’: nth Nil _ = undefined
+ +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: + • Couldn't match type ‘'True’ with ‘'False’ + Inaccessible code in + a pattern with constructor: Nil :: forall a. Vec a 'Zero, + in an equation for ‘nth’ + • In the pattern: Nil + In an equation for ‘nth’: nth Nil _ = undefined |