diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr index 06a4f0cbe0..1ff540979b 100644 --- a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr +++ b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr @@ -4,11 +4,11 @@ NoMatchErr.hs:19:7: from the context (Fun d) bound by the type signature for f :: Fun d => Memo d a -> Memo d a at NoMatchErr.hs:19:7-37 - NB: ‛Memo’ is a type function, and may not be injective - The type variable ‛d0’ is ambiguous + NB: ‘Memo’ is a type function, and may not be injective + The type variable ‘d0’ is ambiguous Expected type: Memo d a -> Memo d a Actual type: Memo d0 a -> Memo d0 a In the ambiguity check for: forall d a. Fun d => Memo d a -> Memo d a To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‛f’: f :: Fun d => Memo d a -> Memo d a + In the type signature for ‘f’: f :: Fun d => Memo d a -> Memo d a |