blob: c2cf58f174702456fda767f345dda797773caae3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
{-# LANGUAGE PatternSynonyms #-}
{-# OPTIONS_GHC -Wmissing-exported-signatures #-}
module T14794f (test1, pattern Test2, test3, pattern Test4) where
-- This should generate warnings with;
-- -Wmissing-exported-signatures
test3 = True
-- This should not generate warnings with;
-- -Wmissing-exported-signatures
test1 :: Bool
test1 = True
pattern Test2 :: Bool
pattern Test2 <- True
pattern Test4 <- True
test5 :: Bool
test5 = True
pattern Test6 :: Bool
pattern Test6 <- True
test7 = True
pattern Test8 <- True
|
