Support wild cards in TH splices
[ghc.git] / testsuite / tests / partial-sigs / should_compile / SplicesUsed.stderr
1 [1 of 2] Compiling Splices          ( Splices.hs, Splices.o )
2 [2 of 2] Compiling SplicesUsed      ( SplicesUsed.hs, SplicesUsed.o )
3
4 SplicesUsed.hs:7:16: warning:
5     Found type wildcard ‘_’ standing for ‘Maybe Bool’
6     In the type signature for ‘maybeBool’: _
7
8 SplicesUsed.hs:8:15: warning:
9     Found type wildcard ‘_a’ standing for ‘Maybe Bool’
10     Relevant bindings include
11       maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
12     In an expression type signature: _a -> _a
13     In the expression: id :: _a -> _a
14     In the expression: (id :: _a -> _a) (Just True :: Maybe _)
15
16 SplicesUsed.hs:8:27: warning:
17     Found type wildcard ‘_’ standing for ‘Bool’
18     Relevant bindings include
19       maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
20     In an expression type signature: Maybe _
21     In the first argument of ‘id :: _a -> _a’, namely
22       ‘(Just True :: Maybe _)’
23     In the expression: (id :: _a -> _a) (Just True :: Maybe _)
24
25 SplicesUsed.hs:10:17: warning:
26     Found type wildcard ‘_’ standing for ‘(Char, a)’
27     Where: ‘a’ is a rigid type variable bound by
28                the inferred type of charA :: a -> (Char, a)
29                at SplicesUsed.hs:10:10
30     In the type signature for ‘charA’: a -> _
31
32 SplicesUsed.hs:13:14: warning:
33     Found type wildcard ‘_’ standing for ‘a -> Bool’
34     Where: ‘a’ is a rigid type variable bound by
35                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
36                at SplicesUsed.hs:14:1
37     In the type signature for ‘filter'’: _ -> _ -> _
38
39 SplicesUsed.hs:13:14: warning:
40     Found type wildcard ‘_’ standing for ‘[a]’
41     Where: ‘a’ is a rigid type variable bound by
42                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
43                at SplicesUsed.hs:14:1
44     In the type signature for ‘filter'’: _ -> _ -> _
45
46 SplicesUsed.hs:13:14: warning:
47     Found type wildcard ‘_’ standing for ‘[a]’
48     Where: ‘a’ is a rigid type variable bound by
49                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
50                at SplicesUsed.hs:14:1
51     In the type signature for ‘filter'’: _ -> _ -> _
52
53 SplicesUsed.hs:16:3: warning:
54     Found hole ‘_’ with inferred constraints: Eq a
55     In the type signature for ‘foo’: _ => _
56
57 SplicesUsed.hs:16:3: warning:
58     Found type wildcard ‘_’ standing for ‘a -> a -> Bool’
59     Where: ‘a’ is a rigid type variable bound by
60                the inferred type of foo :: Eq a => a -> a -> Bool
61                at SplicesUsed.hs:16:3
62     In the type signature for ‘foo’: _ => _
63
64 SplicesUsed.hs:18:3: warning:
65     Found type wildcard ‘_a’ standing for ‘Bool’
66     In the type signature for ‘bar’: _a -> _b -> (_a, _b)
67
68 SplicesUsed.hs:18:3: warning:
69     Found type wildcard ‘_b’ standing for ‘w_b’
70     Where: ‘w_b’ is a rigid type variable bound by
71                  the inferred type of bar :: Bool -> w_b -> (Bool, w_b)
72                  at SplicesUsed.hs:18:3
73     In the type signature for ‘bar’: _a -> _b -> (_a, _b)