diff options
Diffstat (limited to 'testsuite/tests/warnings/should_compile/T14794c.hs')
-rw-r--r-- | testsuite/tests/warnings/should_compile/T14794c.hs | 31 |
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 |