diff options
| author | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2011-11-16 15:52:35 +0000 |
|---|---|---|
| committer | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2011-11-16 15:52:35 +0000 |
| commit | 83e84e35ab4b307381ac0d0cd15df3227496defb (patch) | |
| tree | c858825df187de20157b903692bb09bfa8a5a278 /testsuite/tests/typecheck/should_fail/tcfail206.stderr | |
| parent | efb1debac24e40ad2f720d536abbd48a7bcd0904 (diff) | |
| download | haskell-83e84e35ab4b307381ac0d0cd15df3227496defb.tar.gz | |
Error message modifications for the new constraint solver.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail206.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail206.stderr | 95 |
1 files changed, 48 insertions, 47 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail206.stderr b/testsuite/tests/typecheck/should_fail/tcfail206.stderr index 4cb3172926..fb812f1cbf 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail206.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail206.stderr @@ -1,47 +1,48 @@ - -tcfail206.hs:5:5: - Couldn't match expected type `Int' with actual type `Bool' - Expected type: Bool -> (Int, Bool) - Actual type: Bool -> (Bool, t0) - In the expression: (, True) - In an equation for `a': a = (, True) - -tcfail206.hs:8:5: - Couldn't match expected type `Bool -> (Int, Bool)' - with actual type `(t0, Int)' - Expected type: Int -> Bool -> (Int, Bool) - Actual type: Int -> (t0, Int) - In the expression: (1,) - In an equation for `b': b = (1,) - -tcfail206.hs:11:5: - Couldn't match type `a' with `Bool' - `a' is a rigid type variable bound by - the type signature for c :: a -> (a, Bool) at tcfail206.hs:11:1 - Expected type: a -> (a, Bool) - Actual type: Bool -> (Bool, Bool) - In the expression: (True || False,) - In an equation for `c': c = (True || False,) - -tcfail206.hs:14:5: - Couldn't match expected type `Int' with actual type `Bool' - Expected type: Bool -> (# Int, Bool #) - Actual type: Bool -> (# Bool, t0 #) - In the expression: (# , True #) - In an equation for `d': d = (# , True #) - -tcfail206.hs:17:5: - Couldn't match expected type `Bool -> (# Int, Bool #)' - with actual type `(# t0, Int #)' - Expected type: Int -> Bool -> (# Int, Bool #) - Actual type: Int -> (# t0, Int #) - In the expression: (# 1, #) - In an equation for `e': e = (# 1, #) - -tcfail206.hs:20:7: - Couldn't match type `a' with `Bool' - `a' is a rigid type variable bound by - the type signature for f :: a -> (# a, Bool #) at tcfail206.hs:20:1 - In the expression: True || False - In the expression: (# True || False, #) - In an equation for `f': f = (# True || False, #) +
+tcfail206.hs:5:5:
+ Couldn't match expected type `Int' with actual type `Bool'
+ Expected type: Bool -> (Int, Bool)
+ Actual type: Bool -> (Bool, t0)
+ In the expression: (, True)
+ In an equation for `a': a = (, True)
+
+tcfail206.hs:8:5:
+ Couldn't match expected type `Bool -> (Int, Bool)'
+ with actual type `(t0, Int)'
+ Expected type: Int -> Bool -> (Int, Bool)
+ Actual type: Int -> (t0, Int)
+ In the expression: (1,)
+ In an equation for `b': b = (1,)
+
+tcfail206.hs:11:5:
+ Couldn't match type `a' with `Bool'
+ `a' is a rigid type variable bound by
+ the type signature for c :: a -> (a, Bool) at tcfail206.hs:11:1
+ Expected type: a -> (a, Bool)
+ Actual type: Bool -> (Bool, Bool)
+ In the expression: (True || False,)
+ In an equation for `c': c = (True || False,)
+
+tcfail206.hs:14:5:
+ Couldn't match expected type `Int' with actual type `Bool'
+ Expected type: Bool -> (# Int, Bool #)
+ Actual type: Bool -> (# Bool, t0 #)
+ In the expression: (# , True #)
+ In an equation for `d': d = (# , True #)
+
+tcfail206.hs:17:5:
+ Couldn't match expected type `Bool -> (# Int, Bool #)'
+ with actual type `(# t0, Int #)'
+ Expected type: Int -> Bool -> (# Int, Bool #)
+ Actual type: Int -> (# t0, Int #)
+ In the expression: (# 1, #)
+ In an equation for `e': e = (# 1, #)
+
+tcfail206.hs:20:5:
+ Couldn't match type `a' with `Bool'
+ `a' is a rigid type variable bound by
+ the type signature for f :: a -> (# a, Bool #) at tcfail206.hs:20:1
+ Expected type: a -> (# a, Bool #)
+ Actual type: a -> (# a, a #)
+ In the expression: (# True || False, #)
+ In an equation for `f': f = (# True || False, #)
|