blob: e42e098ef3f7e799e062867410f2ab37ae5fd64e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
ExtraConstraintsWildcardInPatternSplice.hs:5:6: error:
• Found type wildcard ‘_’ standing for ‘w’
Where: ‘w’ is a rigid type variable bound by
the inferred type of foo :: w -> ()
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 :: w -> ()
(bound at ExtraConstraintsWildcardInPatternSplice.hs:5:1)
|
