blob: 95c54362c3afbc70188d681d95684e9ad83633ad (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T16875.hs:13:5: warning: [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: p
Where: ‘p’ is a rigid type variable bound by
the inferred type of a :: p
at T16875.hs:13:1-5
• In an equation for ‘a’: a = _
• Relevant bindings include a :: p (bound at T16875.hs:13:1)
Valid hole fits include
a :: forall {p}. p
with a
(defined at T16875.hs:13:1)
|