Add HsSyn prettyprinter tests
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail206.stderr
1
2 tcfail206.hs:5:5: error:
3     • Couldn't match type ‘Bool’ with ‘Int’
4       Expected type: Bool -> (Int, Bool)
5         Actual type: Int -> (Int, Bool)
6     • In the expression: (, True)
7       In an equation for ‘a’: a = (, True)
8
9 tcfail206.hs:8:5: error:
10     • Couldn't match type ‘(Integer, Int)’ with ‘Bool -> (Int, Bool)’
11       Expected type: Int -> Bool -> (Int, Bool)
12         Actual type: Int -> (Integer, Int)
13     • In the expression: (1,)
14       In an equation for ‘b’: b = (1,)
15
16 tcfail206.hs:11:5: error:
17     • Couldn't match type ‘a’ with ‘Bool’
18       ‘a’ is a rigid type variable bound by
19         the type signature for:
20           c :: forall a. a -> (a, Bool)
21         at tcfail206.hs:10:1-19
22       Expected type: a -> (a, Bool)
23         Actual type: Bool -> (a, Bool)
24     • In the expression: (True || False,)
25       In an equation for ‘c’: c = (True || False,)
26     • Relevant bindings include
27         c :: a -> (a, Bool) (bound at tcfail206.hs:11:1)
28
29 tcfail206.hs:14:5: error:
30     • Couldn't match type ‘Bool’ with ‘Int’
31       Expected type: Bool -> (# Int, Bool #)
32         Actual type: Int -> (# Int, Bool #)
33     • In the expression: (# , True #)
34       In an equation for ‘d’: d = (# , True #)
35
36 tcfail206.hs:17:5: error:
37     • Couldn't match type ‘(# Integer, Int #)’
38                      with ‘Bool -> (# Int, Bool #)’
39       Expected type: Int -> Bool -> (# Int, Bool #)
40         Actual type: Int -> (# Integer, Int #)
41     • In the expression: (# 1, #)
42       In an equation for ‘e’: e = (# 1, #)
43
44 tcfail206.hs:20:5: error:
45     • Couldn't match type ‘a’ with ‘Bool’
46       ‘a’ is a rigid type variable bound by
47         the type signature for:
48           f :: forall a. a -> (# a, Bool #)
49         at tcfail206.hs:19:1-21
50       Expected type: a -> (# a, Bool #)
51         Actual type: Bool -> (# a, Bool #)
52     • In the expression: (# True || False, #)
53       In an equation for ‘f’: f = (# True || False, #)
54     • Relevant bindings include
55         f :: a -> (# a, Bool #) (bound at tcfail206.hs:20:1)