summaryrefslogtreecommitdiff
path: root/testsuite/tests/warnings/should_compile/T14794c.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/warnings/should_compile/T14794c.hs')
-rw-r--r--testsuite/tests/warnings/should_compile/T14794c.hs31
1 files changed, 31 insertions, 0 deletions
diff --git a/testsuite/tests/warnings/should_compile/T14794c.hs b/testsuite/tests/warnings/should_compile/T14794c.hs
new file mode 100644
index 0000000000..742ca3c91c
--- /dev/null
+++ b/testsuite/tests/warnings/should_compile/T14794c.hs
@@ -0,0 +1,31 @@
+{-# LANGUAGE PatternSynonyms #-}
+{-# OPTIONS_GHC -Wmissing-signatures -Wmissing-pattern-synonym-signatures #-}
+
+module T14794c (test1, pattern Test2, test3, pattern Test4) where
+
+-- This should generate warnings with;
+-- -Wmissing-signatures -Wmissing-pattern-synonym-signatures
+
+test3 = True
+
+pattern Test4 <- True
+
+test7 = True
+
+pattern Test8 <- True
+
+
+-- This should not generate warnings with;
+-- -Wmissing-signatures -Wmissing-pattern-synonym-signatures
+
+test1 :: Bool
+test1 = True
+
+pattern Test2 :: Bool
+pattern Test2 <- True
+
+test5 :: Bool
+test5 = True
+
+pattern Test6 :: Bool
+pattern Test6 <- True