diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T2494.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T2494.stderr | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T2494.stderr b/testsuite/tests/typecheck/should_compile/T2494.stderr index bbb8d0c946..68b8dd4be1 100644 --- a/testsuite/tests/typecheck/should_compile/T2494.stderr +++ b/testsuite/tests/typecheck/should_compile/T2494.stderr @@ -1,9 +1,9 @@ T2494.hs:15:14: - Couldn't match type `a' with `b' - `a' is a rigid type variable bound by + Couldn't match type ‛a’ with ‛b’ + ‛a’ is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:13:16 - `b' is a rigid type variable bound by + ‛b’ is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:14:16 Expected type: Maybe (m a) -> Maybe (m a) Actual type: Maybe (m b) -> Maybe (m b) @@ -13,15 +13,15 @@ T2494.hs:15:14: (bound at T2494.hs:14:11) f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a) (bound at T2494.hs:13:11) - In the first argument of `foo', namely `g' - In the second argument of `foo', namely `(foo g x)' + In the first argument of ‛foo’, namely ‛g’ + In the second argument of ‛foo’, namely ‛(foo g x)’ In the expression: foo f (foo g x) T2494.hs:15:30: - Couldn't match type `a' with `b' - `a' is a rigid type variable bound by + Couldn't match type ‛a’ with ‛b’ + ‛a’ is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:13:16 - `b' is a rigid type variable bound by + ‛b’ is a rigid type variable bound by the RULE "foo/foo" at T2494.hs:14:16 Expected type: Maybe (m a) -> Maybe (m a) Actual type: Maybe (m b) -> Maybe (m b) @@ -31,6 +31,6 @@ T2494.hs:15:30: (bound at T2494.hs:14:11) f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a) (bound at T2494.hs:13:11) - In the second argument of `(.)', namely `g' - In the first argument of `foo', namely `(f . g)' + In the second argument of ‛(.)’, namely ‛g’ + In the first argument of ‛foo’, namely ‛(f . g)’ In the expression: foo (f . g) x |