blob: 1f5a91729618f82436bd351cb2a32f405a75f8f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T4099.hs:11:14:
Couldn't match type `T b' with `T a0'
NB: `T' is a type function, and may not be injective
In the first argument of `foo', namely `x'
In the expression: foo x
In an equation for `bar1': bar1 x = foo x
T4099.hs:14:14:
Couldn't match type `T a1' with `Maybe b'
In the first argument of `foo', namely `x'
In the expression: foo x
In an equation for `bar2': bar2 x = foo x
|