blob: 6b858a0f363839b9ff1ffaade278657d1a15b520 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
ExtraConstraintsWildcardInPatternSplice.hs:5:6: error: [GHC-88464]
• 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)
|