blob: 312b0b64439ea1b6e84e91a07faa4000846635ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
T4099.hs:11:30:
Couldn't match expected type ‛T a0’ with actual type ‛T b’
NB: ‛T’ is a type function, and may not be injective
The type variable ‛a0’ is ambiguous
Relevant bindings include
bar1 :: b -> T b -> Int (bound at T4099.hs:11:1)
a :: b (bound at T4099.hs:11:6)
x :: T b (bound at T4099.hs:11:8)
In the second argument of ‛foo’, namely ‛x’
In the expression: foo (error "urk") x
In an equation for ‛bar1’: bar1 a x = foo (error "urk") x
T4099.hs:14:30:
Couldn't match expected type ‛T a1’ with actual type ‛Maybe b’
The type variable ‛a1’ is ambiguous
Relevant bindings include
bar2 :: b -> Maybe b -> Int (bound at T4099.hs:14:1)
a :: b (bound at T4099.hs:14:6)
x :: Maybe b (bound at T4099.hs:14:8)
In the second argument of ‛foo’, namely ‛x’
In the expression: foo (error "urk") x
In an equation for ‛bar2’: bar2 a x = foo (error "urk") x
|