blob: 2a83a36cc2cba82717f1870843a887109cc9e1e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
ExtraConstraintsWildcardInPatternSplice.hs:5:6: error:
• Found type wildcard ‘_’ standing for ‘_’
Where: ‘_’ is a rigid type variable bound by
the inferred type of foo :: _ -> ()
at ExtraConstraintsWildcardInPatternSplice.hs:5:1-29
To use the inferred type, enable PartialTypeSignatures
• In a pattern type signature: _
In the pattern: _ :: _
In an equation for ‘foo’: foo (_ :: _) = ()
• Relevant bindings include
foo :: _ -> ()
(bound at ExtraConstraintsWildcardInPatternSplice.hs:5:1)
|