diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-04 17:57:41 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-04 17:57:41 +0100 |
| commit | 3bb499db2c0f297511e68d47e18bbf49dc0da8d7 (patch) | |
| tree | 0b8fd658ca9423c14f90bbac1a64355f73fa1ad2 /testsuite/tests/typecheck/should_fail/tcfail206.stderr | |
| parent | 29eed98be1139eb26d5095b1e7f6de865fa0cfeb (diff) | |
| download | haskell-3bb499db2c0f297511e68d47e18bbf49dc0da8d7.tar.gz | |
Error message wibbles now that we do less defaulting when there are insolubles
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail206.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail206.stderr | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail206.stderr b/testsuite/tests/typecheck/should_fail/tcfail206.stderr index 706933dc9a..b5b9aef830 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail206.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail206.stderr @@ -7,9 +7,9 @@ tcfail206.hs:5:5: In an equation for `a': a = (, True) tcfail206.hs:8:5: - Couldn't match type `(Integer, Int)' with `Bool -> (Int, Bool)' + Couldn't match type `(t0, Int)' with `Bool -> (Int, Bool)' Expected type: Int -> Bool -> (Int, Bool) - Actual type: Int -> (Integer, Int) + Actual type: Int -> (t0, Int) In the expression: (1,) In an equation for `b': b = (1,) @@ -21,9 +21,8 @@ tcfail206.hs:14:5: In an equation for `d': d = (# , True #) tcfail206.hs:17:5: - Couldn't match type `(# Integer, Int #)' - with `Bool -> (# Int, Bool #)' + Couldn't match type `(# a0, Int #)' with `Bool -> (# Int, Bool #)' Expected type: Int -> Bool -> (# Int, Bool #) - Actual type: Int -> (# Integer, Int #) + Actual type: Int -> (# a0, Int #) In the expression: (# 1, #) In an equation for `e': e = (# 1, #) |