diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T1900.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T1900.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T1900.stderr b/testsuite/tests/indexed-types/should_fail/T1900.stderr index 896a441b5a..435d5e8312 100644 --- a/testsuite/tests/indexed-types/should_fail/T1900.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1900.stderr @@ -4,11 +4,11 @@ T1900.hs:13:10: from the context (Bug s) bound by the type signature for check :: Bug s => Depend s -> Bool at T1900.hs:13:10-36 - NB: ‛Depend’ is a type function, and may not be injective - The type variable ‛s0’ is ambiguous + NB: ‘Depend’ is a type function, and may not be injective + The type variable ‘s0’ is ambiguous Expected type: Depend s -> Bool Actual type: Depend s0 -> Bool In the ambiguity check for: forall s. Bug s => Depend s -> Bool To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‛check’: + In the type signature for ‘check’: check :: Bug s => Depend s -> Bool |