Visible kind application
[ghc.git] / testsuite / tests / partial-sigs / should_fail / ExtraConstraintsWildcardInPatternSplice.stderr
1
2 ExtraConstraintsWildcardInPatternSplice.hs:5:8: error:
3     • Found type wildcard ‘_’ standing for ‘_’
4       Where: ‘_’ is a rigid type variable bound by
5                the inferred type of foo :: _ -> ()
6                at ExtraConstraintsWildcardInPatternSplice.hs:5:1-29
7       To use the inferred type, enable PartialTypeSignatures
8     • In a pattern type signature: _
9       In the pattern: _ :: _
10       In an equation for ‘foo’: foo (_ :: _) = ()
11     • Relevant bindings include
12         foo :: _ -> ()
13           (bound at ExtraConstraintsWildcardInPatternSplice.hs:5:1)