blob: 134a137cc4bbf12ae6ab5eb2175cfc6d9a3e597f (
plain)
1
2
3
4
5
6
7
8
|
T10072.hs:3:31:
Found hole ‘_’ with type: w_
Where: ‘w_’ is a rigid type variable bound by
the RULE "map/empty" at T10072.hs:3:1
To use the inferred type, enable PartialTypeSignatures
In a RULE for ‘f’: a -> _
When checking the transformation rule "map/empty"
|