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