diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T7220a.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T7220a.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr b/testsuite/tests/typecheck/should_compile/T7220a.stderr index a1e865f131..2b311c1111 100644 --- a/testsuite/tests/typecheck/should_compile/T7220a.stderr +++ b/testsuite/tests/typecheck/should_compile/T7220a.stderr @@ -2,13 +2,13 @@ T7220a.hs:17:6: error: ⢠Could not deduce (C a b) from the context: (C a0 b, TF b ~ Y) - bound by the type signature for: - f :: forall b. (C a0 b, TF b ~ Y) => b + bound by a type expected by the context: + forall b. (C a0 b, TF b ~ Y) => b at T7220a.hs:17:6-44 Possible fix: add (C a b) to the context of - the type signature for: - f :: forall b. (C a0 b, TF b ~ Y) => b + a type expected by the context: + forall b. (C a0 b, TF b ~ Y) => b ⢠In the ambiguity check for âfâ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature: f :: (forall b. (C a b, TF b ~ Y) => b) -> X |