blob: 3f8ba8981e270193a9f663f45629220ef1289565 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T7438.hs:6:14:
Couldn't match expected type ‛t1’ with actual type ‛t’
‛t’ is untouchable
inside the constraints (t2 ~ t3)
bound by a pattern with constructor
Nil :: forall (a :: k). Thrist a a,
in an equation for ‛go’
at T7438.hs:6:4-6
‛t’ is a rigid type variable bound by
the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
‛t1’ is a rigid type variable bound by
the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
Relevant bindings include
acc :: t (bound at T7438.hs:6:8)
go :: Thrist t2 t3 -> t -> t1 (bound at T7438.hs:6:1)
In the expression: acc
In an equation for ‛go’: go Nil acc = acc
|