[commit: testsuite] master: Accept T3208b output following unicode quotes change (cedc5c7)
Ian Lynagh
igloo at earth.li
Sun Feb 24 18:34:05 CET 2013
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/cedc5c70c3ec8f879b71ac73f873ef650de8165e
>---------------------------------------------------------------
commit cedc5c70c3ec8f879b71ac73f873ef650de8165e
Author: Ian Lynagh <ian at well-typed.com>
Date: Sun Feb 24 15:35:24 2013 +0000
Accept T3208b output following unicode quotes change
>---------------------------------------------------------------
tests/indexed-types/should_compile/T3208b.stderr | 12 ++++++------
1 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/tests/indexed-types/should_compile/T3208b.stderr b/tests/indexed-types/should_compile/T3208b.stderr
index 5eee19a..1bf275e 100644
--- a/tests/indexed-types/should_compile/T3208b.stderr
+++ b/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
fce' :: a -> c (bound at T3208b.hs:15:1)
f :: a (bound at T3208b.hs:15:6)
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
fce' :: a -> c (bound at T3208b.hs:15:1)
f :: a (bound at T3208b.hs:15:6)
- 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)
More information about the ghc-commits
mailing list