blob: ea455b5fd90fe71ac38ee97cb12e117162b6793d (
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
|
T10971a.hs:7:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: f :: forall a. [a] -> Int
T10971a.hs:7:11: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘[]’
Foldable t0 arising from a use of ‘length’
• In the expression: length x
In the expression: \ x -> length x
In an equation for ‘f’: f = \ x -> length x
T10971a.hs:8:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
g :: forall a b. (a -> b) -> [a] -> [b]
T10971a.hs:8:6: warning: [-Wname-shadowing]
This binding for ‘f’ shadows the existing binding
defined at T10971a.hs:7:1
T10971a.hs:8:13: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘[]’
Traversable t0 arising from a use of ‘fmapDefault’
• In the expression: fmapDefault f x
In the expression: \ f x -> fmapDefault f x
In an equation for ‘g’: g = \ f x -> fmapDefault f x
T10971a.hs:9:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature:
h :: forall b a. (a -> b) -> [a] -> ([b], Int)
T10971a.hs:9:6: warning: [-Wname-shadowing]
This binding for ‘f’ shadows the existing binding
defined at T10971a.hs:7:1
T10971a.hs:9:31: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘[]’
(Foldable t0) arising from a use of ‘length’ at T10971a.hs:9:31-38
(Traversable t0)
arising from a use of ‘fmapDefault’ at T10971a.hs:9:14-28
• In the expression: length x
In the expression: (fmapDefault f x, length x)
In the expression: \ f x -> (fmapDefault f x, length x)
|