blob: 98df4254243f1eb9f0870cb96bafd0d0c310b6ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
tcfail178.hs:15:7: error:
• Couldn't match type ‘()’ with ‘[a]’
Expected type: Bool -> [a]
Actual type: Bool -> ()
• In the first argument of ‘a’, namely ‘y’
In the expression: a y
In an equation for ‘c’: c = a y
• Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1)
tcfail178.hs:18:7: error:
• Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’
• In the first argument of ‘a’, namely ‘()’
In the expression: a ()
In an equation for ‘d’: d = a ()
• Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1)
|
