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