1 \r
2 tcfail206.hs:5:5:\r
3     Couldn't match expected type `Int' with actual type `Bool'\r
4     Expected type: Bool -> (Int, Bool)\r
5       Actual type: Bool -> (Bool, t0)\r
6     In the expression: (, True)\r
7     In an equation for `a': a = (, True)\r
8 \r
9 tcfail206.hs:8:5:\r
10     Couldn't match expected type `Bool -> (Int, Bool)'\r
11                 with actual type `(t0, Int)'\r
12     Expected type: Int -> Bool -> (Int, Bool)\r
13       Actual type: Int -> (t0, Int)\r
14     In the expression: (1,)\r
15     In an equation for `b': b = (1,)\r
16 \r
17 tcfail206.hs:11:5:\r
18     Couldn't match type `a' with `Bool'\r
19       `a' is a rigid type variable bound by\r
20           the type signature for c :: a -> (a, Bool) at tcfail206.hs:11:1\r
21     Expected type: a -> (a, Bool)\r
22       Actual type: a -> (a, a)\r
23     In the expression: (True || False,)\r
24     In an equation for `c': c = (True || False,)\r
25 \r
26 tcfail206.hs:14:5:\r
27     Couldn't match expected type `Int' with actual type `Bool'\r
28     Expected type: Bool -> (# Int, Bool #)\r
29       Actual type: Bool -> (# Bool, t0 #)\r
30     In the expression: (# , True #)\r
31     In an equation for `d': d = (# , True #)\r
32 \r
33 tcfail206.hs:17:5:\r
34     Couldn't match expected type `Bool -> (# Int, Bool #)'\r
35                 with actual type `(# t0, Int #)'\r
36     Expected type: Int -> Bool -> (# Int, Bool #)\r
37       Actual type: Int -> (# t0, Int #)\r
38     In the expression: (# 1, #)\r
39     In an equation for `e': e = (# 1, #)\r
40 \r
41 tcfail206.hs:20:5:\r
42     Couldn't match type `a' with `Bool'\r
43       `a' is a rigid type variable bound by\r
44           the type signature for f :: a -> (# a, Bool #) at tcfail206.hs:20:1\r
45     Expected type: a -> (# a, Bool #)\r
46       Actual type: a -> (# a, a #)\r
47     In the expression: (# True || False, #)\r
48     In an equation for `f': f = (# True || False, #)\r