7c61bf6c023afd90667906de864e25f27346e656
[ghc.git] / testsuite / tests / partial-sigs / should_fail / NamedWildcardsNotEnabled.stderr
1
2 NamedWildcardsNotEnabled.hs:4:9:
3     Couldn't match expected type ‘_b’ with actual type ‘Bool’
4       ‘_b’ is a rigid type variable bound by
5            the type signature for foo :: _a -> _b
6            at NamedWildcardsNotEnabled.hs:3:8
7     Relevant bindings include
8       foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1)
9     In the expression: not x
10     In an equation for ‘foo’: foo x = not x
11
12 NamedWildcardsNotEnabled.hs:4:13:
13     Couldn't match expected type ‘Bool’ with actual type ‘_a’
14       ‘_a’ is a rigid type variable bound by
15            the type signature for foo :: _a -> _b
16            at NamedWildcardsNotEnabled.hs:3:8
17     Relevant bindings include
18       x :: _a (bound at NamedWildcardsNotEnabled.hs:4:5)
19       foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1)
20     In the first argument of ‘not’, namely ‘x’
21     In the expression: not x