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