diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T3208b.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3208b.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr index 228749247b..a210113ea8 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -5,15 +5,15 @@ T3208b.hs:15:10: bound by the type signature for fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c at T3208b.hs:14:9-56 - NB: ‛STerm’ is a type function, and may not be injective - The type variable ‛o0’ is ambiguous + NB: ‘STerm’ is a type function, and may not be injective + The type variable ‘o0’ is ambiguous Expected type: STerm o0 Actual type: OTerm o0 Relevant bindings include f :: a (bound at T3208b.hs:15:6) fce' :: a -> c (bound at T3208b.hs:15:1) In the expression: fce (apply f) - In an equation for ‛fce'’: fce' f = fce (apply f) + In an equation for ‘fce'’: fce' f = fce (apply f) T3208b.hs:15:15: Could not deduce (OTerm o0 ~ STerm a) @@ -21,10 +21,10 @@ T3208b.hs:15:15: bound by the type signature for fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c at T3208b.hs:14:9-56 - The type variable ‛o0’ is ambiguous + The type variable ‘o0’ is ambiguous Relevant bindings include f :: a (bound at T3208b.hs:15:6) fce' :: a -> c (bound at T3208b.hs:15:1) - In the first argument of ‛fce’, namely ‛(apply f)’ + In the first argument of ‘fce’, namely ‘(apply f)’ In the expression: fce (apply f) - In an equation for ‛fce'’: fce' f = fce (apply f) + In an equation for ‘fce'’: fce' f = fce (apply f) |