blob: ad7fe2602a2fcb1b19a1ec9c386f9066b8e6f0dc (
plain)
1
2
3
4
5
6
7
8
9
10
|
T10072.hs:3:31: error:
• Found type wildcard ‘_’ standing for ‘b’
Where: ‘b’ is a rigid type variable bound by
the RULE "map/empty"
at T10072.hs:3:1-47
To use the inferred type, enable PartialTypeSignatures
• In the type ‘a -> _’
In a RULE for ‘f’: a -> _
When checking the transformation rule "map/empty"
|
