diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T8034.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T8034.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T8034.stderr b/testsuite/tests/typecheck/should_fail/T8034.stderr index 247732a0bd..cce73f355a 100644 --- a/testsuite/tests/typecheck/should_fail/T8034.stderr +++ b/testsuite/tests/typecheck/should_fail/T8034.stderr @@ -3,7 +3,7 @@ T8034.hs:6:3: error: • Couldn't match type ‘F a0’ with ‘F a’ Expected type: F a -> F a Actual type: F a0 -> F a0 - NB: ‘F’ is a type function, and may not be injective + NB: ‘F’ is a non-injective type family The type variable ‘a0’ is ambiguous • In the ambiguity check for ‘foo’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes |