blob: 556201cc04116506328a74a61bd03176e19cbc10 (
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
|
T10045.hs:6:18: error:
• Found type wildcard ‘_’ standing for ‘t1 -> Bool -> t2’
Where: ‘t1’ is a rigid type variable bound by
the inferred type of copy :: t1 -> Bool -> t2 at T10045.hs:7:10
‘t2’ is a rigid type variable bound by
the inferred type of copy :: t1 -> Bool -> t2 at T10045.hs:7:10
To use the inferred type, enable PartialTypeSignatures
• In the type signature:
copy :: _
In the expression:
let
copy :: _
copy w from = copy w True
in copy ws1 False
In an equation for ‘foo’:
foo (Meta ws1)
= let
copy :: _
copy w from = copy w True
in copy ws1 False
• Relevant bindings include
copy :: t1 -> Bool -> t2 (bound at T10045.hs:7:10)
ws1 :: () (bound at T10045.hs:5:11)
foo :: Meta -> t (bound at T10045.hs:5:1)
|
