Refactor treatment of wildcards
[ghc.git] / testsuite / tests / partial-sigs / should_fail / NamedWildcardsEnabled.stderr
1
2 NamedWildcardsEnabled.hs:4:8: error:
3     • Found type wildcard ‘_a’ standing for ‘Bool’
4       To use the inferred type, enable PartialTypeSignatures
5     • In the type signature:
6         foo :: _a -> _b
7     • Relevant bindings include
8         foo :: Bool -> Bool (bound at NamedWildcardsEnabled.hs:5:1)
9
10 NamedWildcardsEnabled.hs:4:14: error:
11     • Found type wildcard ‘_b’ standing for ‘Bool’
12       To use the inferred type, enable PartialTypeSignatures
13     • In the type signature:
14         foo :: _a -> _b
15     • Relevant bindings include
16         foo :: Bool -> Bool (bound at NamedWildcardsEnabled.hs:5:1)