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