diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
commit | 4c68c2f97b25d58e7e1be03891ceff90d48d0936 (patch) | |
tree | 7ca2f8ab2b81edad9ec151fe900c373da1ff31e6 /testsuite/tests/typecheck/should_fail/tcfail072.stderr | |
parent | ad0e1c9c577ee87a5da8fcf8530ddede06e94de4 (diff) | |
download | haskell-4c68c2f97b25d58e7e1be03891ceff90d48d0936.tar.gz |
Lots of error message wibbling, following the
major TcErrors refactoring
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail072.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail072.stderr | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail072.stderr b/testsuite/tests/typecheck/should_fail/tcfail072.stderr index 469e75849a..4d6bd867b2 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail072.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail072.stderr @@ -1,14 +1,11 @@ tcfail072.hs:23:13: - Ambiguous type variable `p0' in the constraint: - (Ord p0) arising from a use of `g' - Probable fix: add a type signature that fixes these type variable(s) - In the expression: g A - In an equation for `g': g (B _ _) = g A - -tcfail072.hs:23:13: - Ambiguous type variable `q0' in the constraint: - (Ord q0) arising from a use of `g' - Probable fix: add a type signature that fixes these type variable(s) + Could not deduce (Ord p0, Ord q0) arising from a use of `g' + from the context (Ord p, Ord q) + bound by the type signature for + g :: (Ord p, Ord q) => AB p q -> Bool + at tcfail072.hs:23:1-15 + The type variables `p0', `q0' are ambiguous + Possible fix: add a type signature that fixes these type variable(s) In the expression: g A In an equation for `g': g (B _ _) = g A |