Merge branch 'master' of http://darcs.haskell.org/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail206.stderr
1
2 tcfail206.hs:5:5:
3     Couldn't match type `Bool' with `Int'
4     Expected type: Bool -> (Int, Bool)
5       Actual type: Bool -> (Bool, Bool)
6     In the expression: (, True)
7     In an equation for `a': a = (, True)
8
9 tcfail206.hs:8:5:
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:
17     Couldn't match type `a' with `Bool'
18       `a' is a rigid type variable bound by
19           the type signature for c :: a -> (a, Bool) at tcfail206.hs:11:1
20     Expected type: a -> (a, Bool)
21       Actual type: a -> (a, a)
22     In the expression: (True || False,)
23     In an equation for `c': c = (True || False,)
24
25 tcfail206.hs:14:5:
26     Couldn't match type `Bool' with `Int'
27     Expected type: Bool -> (# Int, Bool #)
28       Actual type: Bool -> (# Bool, Bool #)
29     In the expression: (# , True #)
30     In an equation for `d': d = (# , True #)
31
32 tcfail206.hs:17:5:
33     Couldn't match type `(# Integer, Int #)'
34                   with `Bool -> (# Int, Bool #)'
35     Expected type: Int -> Bool -> (# Int, Bool #)
36       Actual type: Int -> (# Integer, Int #)
37     In the expression: (# 1, #)
38     In an equation for `e': e = (# 1, #)
39
40 tcfail206.hs:20:5:
41     Couldn't match type `a' with `Bool'
42       `a' is a rigid type variable bound by
43           the type signature for f :: a -> (# a, Bool #) at tcfail206.hs:20:1
44     Expected type: a -> (# a, Bool #)
45       Actual type: a -> (# a, a #)
46     In the expression: (# True || False, #)
47     In an equation for `f': f = (# True || False, #)