1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
tcfail206.hs:5:5:
Couldn't match type ‛Bool’ with ‛Int’
Expected type: Bool -> (Int, Bool)
Actual type: Bool -> (Bool, Bool)
In the expression: (, True)
In an equation for ‛a’: a = (, True)
tcfail206.hs:8:5:
Couldn't match type ‛(t0, Int)’ with ‛Bool -> (Int, Bool)’
Expected type: Int -> Bool -> (Int, Bool)
Actual type: Int -> (t0, Int)
In the expression: (1,)
In an equation for ‛b’: b = (1,)
tcfail206.hs:14:5:
Couldn't match type ‛Bool’ with ‛Int’
Expected type: Bool -> (# Int, Bool #)
Actual type: Bool -> (# Bool, Bool #)
In the expression: (# , True #)
In an equation for ‛d’: d = (# , True #)
tcfail206.hs:17:5:
Couldn't match type ‛(# a0, Int #)’ with ‛Bool -> (# Int, Bool #)’
Expected type: Int -> Bool -> (# Int, Bool #)
Actual type: Int -> (# a0, Int #)
In the expression: (# 1, #)
In an equation for ‛e’: e = (# 1, #)
|
