diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T3330c.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T3330c.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T3330c.stderr b/testsuite/tests/indexed-types/should_fail/T3330c.stderr index 8c657c8116..52d6afe3e7 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330c.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330c.stderr @@ -1,11 +1,11 @@ T3330c.hs:23:43: - Couldn't match kind `*' with `* -> *' + Couldn't match kind ‛*’ with ‛* -> *’ When matching types Der ((->) x) :: * -> * R :: (* -> *) -> * Expected type: Der ((->) x) (f1 x) Actual type: R f1 - In the first argument of `plug', namely `rf' - In the first argument of `Inl', namely `(plug rf df x)' + In the first argument of ‛plug’, namely ‛rf’ + In the first argument of ‛Inl’, namely ‛(plug rf df x)’ In the expression: Inl (plug rf df x) |