diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tc168.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tc168.stderr | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tc168.stderr b/testsuite/tests/typecheck/should_fail/tc168.stderr new file mode 100644 index 0000000000..082cf3d96d --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tc168.stderr @@ -0,0 +1,12 @@ + +tc168.hs:17:1: error: + • Could not deduce (C a1 (a2, b0)) + from the context: C a1 (a2, b) + bound by the inferred type for ‘g’: + forall {a1} {a2} {b}. C a1 (a2, b) => a1 -> a2 + at tc168.hs:17:1-16 + The type variable ‘b0’ is ambiguous + • In the ambiguity check for the inferred type for ‘g’ + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes + When checking the inferred type + g :: forall {a1} {a2} {b}. C a1 (a2, b) => a1 -> a2 |