blob: 5bc6aca64cdf2fa131c82a1396af675be7e0af0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
ExtraTcsUntch.hs:23:18: error:
• Couldn't match expected type ‘F Int’ with actual type ‘[p]’
• 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 :: p (bound at ExtraTcsUntch.hs:21:3)
f :: p -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
ExtraTcsUntch.hs:25:38: error:
• Couldn't match expected type ‘F Int’ with actual type ‘[[a0]]’
The type variable ‘a0’ is ambiguous
• In the first argument of ‘h’, namely ‘[[undefined]]’
In the expression: h [[undefined]]
In the expression: (h [[undefined]], op x [y])
|