blob: 6b995343bc4dc850e51d53d46d339a5975efd0ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
NamedWildcardsNotEnabled.hs:5:9: error: [GHC-25897]
• Couldn't match expected type ‘_b’ with actual type ‘Bool’
‘_b’ is a rigid type variable bound by
the type signature for:
foo :: forall _a _b. _a -> _b
at NamedWildcardsNotEnabled.hs:4:1-15
• In the expression: not x
In an equation for ‘foo’: foo x = not x
• Relevant bindings include
foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:5:1)
NamedWildcardsNotEnabled.hs:5:13: error: [GHC-25897]
• Couldn't match expected type ‘Bool’ with actual type ‘_a’
‘_a’ is a rigid type variable bound by
the type signature for:
foo :: forall _a _b. _a -> _b
at NamedWildcardsNotEnabled.hs:4:1-15
• In the first argument of ‘not’, namely ‘x’
In the expression: not x
In an equation for ‘foo’: foo x = not x
• Relevant bindings include
x :: _a (bound at NamedWildcardsNotEnabled.hs:5:5)
foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:5:1)
|
