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/tcfail140.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/tcfail140.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail140.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail140.stderr b/testsuite/tests/typecheck/should_fail/tcfail140.stderr index 0d9cd3404e..4315837a2e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail140.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail140.stderr @@ -1,6 +1,6 @@ tcfail140.hs:10:7: - Couldn't match expected type `Integer -> t' with actual type `Int' + Couldn't match expected type `a0 -> t' with actual type `Int' Relevant bindings include bar :: t (bound at tcfail140.hs:10:1) The function `f' is applied to two arguments, but its type `Int -> Int' has only one @@ -8,7 +8,7 @@ tcfail140.hs:10:7: In an equation for `bar': bar = f 3 9 tcfail140.hs:12:10: - Couldn't match expected type `Integer -> t1' with actual type `Int' + Couldn't match expected type `a1 -> t1' with actual type `Int' Relevant bindings include rot :: t -> t1 (bound at tcfail140.hs:12:1) The operator `f' takes two arguments, |