blob: 926579de74f673fccdb50e22e37722e4ab4de832 (
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
|