summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck/should_compile/T17248.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/T17248.hs')
-rw-r--r--testsuite/tests/pmcheck/should_compile/T17248.hs4
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T17248.hs b/testsuite/tests/pmcheck/should_compile/T17248.hs
index e320bd5184..095153fb08 100644
--- a/testsuite/tests/pmcheck/should_compile/T17248.hs
+++ b/testsuite/tests/pmcheck/should_compile/T17248.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE BangPatterns #-}
module Lib where
data T1 a = T1 a
@@ -10,6 +11,7 @@ f _ _ = ()
g :: T2 a -> Bool -> ()
g _ True = ()
-g (T2 _) True = ()
+g (T2 _) True = () -- redundant
+g !_ True = () -- inaccessible
g _ _ = ()