diff options
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 |