blob: 2cf85f3c1efd9ab5554f91d573527b0711f82ad6 (
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
|
local_hole_fits.hs:4:15: warning: [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
head :: forall a. [a] -> a
at local_hole_fits.hs:3:1-16
• In an equation for ‘head’: head (x : xs) = _
• Relevant bindings include
xs :: [a] (bound at local_hole_fits.hs:4:9)
x :: a (bound at local_hole_fits.hs:4:7)
head :: [a] -> a (bound at local_hole_fits.hs:4:1)
Valid hole fits include x :: a (bound at local_hole_fits.hs:4:7)
local_hole_fits.hs:8:11: warning: [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
mshow :: forall a. Show a => a -> a
at local_hole_fits.hs:7:1-25
• In an equation for ‘mshow’: mshow a = _
• Relevant bindings include
a :: a (bound at local_hole_fits.hs:8:7)
mshow :: a -> a (bound at local_hole_fits.hs:8:1)
Constraints include Show a (from local_hole_fits.hs:7:1-25)
Valid hole fits include a :: a (bound at local_hole_fits.hs:8:7)
|
