Refactor treatment of wildcards
[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:
7         maybeBool :: _
8     • Relevant bindings include
9         maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
10
11 SplicesUsed.hs:8:15: warning:
12     • Found type wildcard ‘_a’ standing for ‘t’
13       Where: ‘t’ is a rigid type variable bound by
14                the inferred type of <expression> :: t -> t at SplicesUsed.hs:8:15
15     • In an expression type signature: _a -> _a
16       In the expression: id :: _a -> _a
17       In the expression: (id :: _a -> _a) (Just True :: Maybe _)
18     • Relevant bindings include
19         maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
20
21 SplicesUsed.hs:8:27: warning:
22     • Found type wildcard ‘_’ standing for ‘Bool’
23     • In an expression type signature: Maybe _
24       In the first argument of ‘id :: _a -> _a’, namely
25         ‘(Just True :: Maybe _)’
26       In the expression: (id :: _a -> _a) (Just True :: Maybe _)
27     • Relevant bindings include
28         maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
29
30 SplicesUsed.hs:10:17: warning:
31     • Found type wildcard ‘_’ standing for ‘(Char, a)’
32       Where: ‘a’ is a rigid type variable bound by
33                the inferred type of charA :: a -> (Char, a)
34                at SplicesUsed.hs:10:10
35     • In the type signature:
36         charA :: a -> (_)
37     • Relevant bindings include
38         charA :: a -> (Char, a) (bound at SplicesUsed.hs:11:1)
39
40 SplicesUsed.hs:13:14: warning:
41     • Found type wildcard ‘_’ standing for ‘a -> Bool’
42       Where: ‘a’ is a rigid type variable bound by
43                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
44                at SplicesUsed.hs:14:1
45     • In the type signature:
46         filter' :: _ -> _ -> _
47     • Relevant bindings include
48         filter' :: (a -> Bool) -> [a] -> [a] (bound at SplicesUsed.hs:14:1)
49
50 SplicesUsed.hs:13:14: warning:
51     • Found type wildcard ‘_’ standing for ‘[a]’
52       Where: ‘a’ is a rigid type variable bound by
53                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
54                at SplicesUsed.hs:14:1
55     • In the type signature:
56         filter' :: _ -> _ -> _
57     • Relevant bindings include
58         filter' :: (a -> Bool) -> [a] -> [a] (bound at SplicesUsed.hs:14:1)
59
60 SplicesUsed.hs:13:14: warning:
61     • Found type wildcard ‘_’ standing for ‘[a]’
62       Where: ‘a’ is a rigid type variable bound by
63                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
64                at SplicesUsed.hs:14:1
65     • In the type signature:
66         filter' :: _ -> _ -> _
67     • Relevant bindings include
68         filter' :: (a -> Bool) -> [a] -> [a] (bound at SplicesUsed.hs:14:1)
69
70 SplicesUsed.hs:16:3: warning:
71     Found constraint wildcard ‘_’ standing for ‘Eq a’
72     In the type signature:
73       foo :: _ => _
74
75 SplicesUsed.hs:16:3: warning:
76     • Found type wildcard ‘_’ standing for ‘a -> a -> Bool’
77       Where: ‘a’ is a rigid type variable bound by
78                the inferred type of foo :: Eq a => a -> a -> Bool
79                at SplicesUsed.hs:16:3
80     • In the type signature:
81         foo :: _ => _
82     • Relevant bindings include
83         foo :: a -> a -> Bool (bound at SplicesUsed.hs:16:3)
84
85 SplicesUsed.hs:18:3: warning:
86     • Found type wildcard ‘_a’ standing for ‘Bool’
87     • In the type signature:
88         bar :: _a -> _b -> (_a, _b)
89     • Relevant bindings include
90         bar :: Bool -> t -> (Bool, t) (bound at SplicesUsed.hs:18:3)
91
92 SplicesUsed.hs:18:3: warning:
93     • Found type wildcard ‘_b’ standing for ‘t’
94       Where: ‘t’ is a rigid type variable bound by
95                the inferred type of bar :: Bool -> t -> (Bool, t)
96                at SplicesUsed.hs:18:3
97     • In the type signature:
98         bar :: _a -> _b -> (_a, _b)
99     • Relevant bindings include
100         bar :: Bool -> t -> (Bool, t) (bound at SplicesUsed.hs:18:3)