blob: 188430bdbbd9c51c00926f568af08555017ad9e3 (
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
|
T14265.hs:7:12: error:
• Found type wildcard ‘_’ standing for ‘w :: k’
Where: ‘k’, ‘w’ are rigid type variables bound by
the inferred type of f :: proxy w -> ()
at T14265.hs:8:1-8
To use the inferred type, enable PartialTypeSignatures
• In the first argument of ‘proxy’, namely ‘_’
In the type ‘proxy _ -> ()’
In the type signature: f :: proxy _ -> ()
T14265.hs:10:15: error:
• Found type wildcard ‘_’ standing for ‘w1’
Where: ‘w1’ is a rigid type variable bound by
the inferred type of foo :: StateT w1 w2 ()
at T14265.hs:11:1-15
To use the inferred type, enable PartialTypeSignatures
• In the first argument of ‘StateT’, namely ‘_’
In the type ‘StateT _ _ ()’
In the type signature: foo :: StateT _ _ ()
T14265.hs:10:17: error:
• Found type wildcard ‘_’ standing for ‘w2 :: * -> *’
Where: ‘w2’ is a rigid type variable bound by
the inferred type of foo :: StateT w1 w2 ()
at T14265.hs:11:1-15
To use the inferred type, enable PartialTypeSignatures
• In the second argument of ‘StateT’, namely ‘_’
In the type ‘StateT _ _ ()’
In the type signature: foo :: StateT _ _ ()
|
