testsuite/tests/warnings/should_compile/T14794e.hs


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-signatures #-}

module T14794e (test1, pattern Test2, test3, pattern Test4) where

-- This should generate warnings with;
-- -Wmissing-signatures

test3 = True

pattern Test4 <- True

test7 = True

pattern Test8 <- True


-- This should not generate warnings with;
-- -Wmissing-signatures

test1 :: Bool
test1 = True

pattern Test2 :: Bool
pattern Test2 <- True

test5 :: Bool
test5 = True

pattern Test6 :: Bool
pattern Test6 <- True