diff options
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile')
-rw-r--r-- | testsuite/tests/pmcheck/should_compile/T18572.hs | 2 | ||||
-rw-r--r-- | testsuite/tests/pmcheck/should_compile/T18572.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T18572.hs b/testsuite/tests/pmcheck/should_compile/T18572.hs index 9a0dd07201..df716f967a 100644 --- a/testsuite/tests/pmcheck/should_compile/T18572.hs +++ b/testsuite/tests/pmcheck/should_compile/T18572.hs @@ -1,4 +1,4 @@ -{-# OPTIONS_GHC -Wincomplete-uni-patterns -Wincomplete-patterns -fforce-recomp #-} +{-# OPTIONS_GHC -fforce-recomp #-} {-# LANGUAGE DataKinds, KindSignatures, GADTs #-} module T18572 where diff --git a/testsuite/tests/pmcheck/should_compile/T18572.stderr b/testsuite/tests/pmcheck/should_compile/T18572.stderr index a5d14d5c33..7fa14f7127 100644 --- a/testsuite/tests/pmcheck/should_compile/T18572.stderr +++ b/testsuite/tests/pmcheck/should_compile/T18572.stderr @@ -11,7 +11,7 @@ T18572.hs:12:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In a pattern binding: STrue = ... -T18572.hs:12:1: warning: [-Wincomplete-uni-patterns] +T18572.hs:12:1: warning: [-Wincomplete-uni-patterns (in -Wall)] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type ‘SBool 'False’ not matched: SFalse |