blob: f8cd07d0f7779e97e1445bce85c8112f82e9dc26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
ExtraTcsUntch.hs:23:18: error:
Couldn't match expected type ‘F Int’ with actual type ‘[[t]]’
In the first argument of ‘h’, namely ‘[x]’
In the expression: h [x]
In an equation for ‘g1’: g1 _ = h [x]
Relevant bindings include
x :: [t] (bound at ExtraTcsUntch.hs:21:3)
f :: [t] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
ExtraTcsUntch.hs:25:38: error:
Couldn't match expected type ‘F Int’ with actual type ‘[[t]]’
In the first argument of ‘h’, namely ‘[[undefined]]’
In the expression: h [[undefined]]
In the expression: (h [[undefined]], op x [y])
Relevant bindings include
x :: [t] (bound at ExtraTcsUntch.hs:21:3)
f :: [t] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
|
