diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4179.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4179.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr index 7236a50c88..8f5ded1ffe 100644 --- a/testsuite/tests/indexed-types/should_fail/T4179.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr @@ -7,7 +7,7 @@ T4179.hs:26:16: fCon :: (Functor x, DoC (FCon x)) => Con x -> A2 (FCon x) -> A3 (FCon x) at T4179.hs:25:9-72 - NB: `A3' is a type function, and may not be injective + NB: ‛A3’ is a type function, and may not be injective Expected type: x (A2 (FCon x) -> A3 (FCon x)) -> A2 (FCon x) -> A3 (FCon x) Actual type: x (A2 (FCon x) -> A3 (FCon x)) @@ -16,6 +16,6 @@ T4179.hs:26:16: Relevant bindings include fCon :: Con x -> A2 (FCon x) -> A3 (FCon x) (bound at T4179.hs:26:1) - In the first argument of `foldDoC', namely `op' + In the first argument of ‛foldDoC’, namely ‛op’ In the expression: foldDoC op - In an equation for `fCon': fCon = foldDoC op + In an equation for ‛fCon’: fCon = foldDoC op |