diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7328.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7328.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/polykinds/T7328.stderr b/testsuite/tests/polykinds/T7328.stderr index 6151c5ae42..54508c0773 100644 --- a/testsuite/tests/polykinds/T7328.stderr +++ b/testsuite/tests/polykinds/T7328.stderr @@ -1,7 +1,7 @@ T7328.hs:8:34: Kind occurs check - The first argument of `Foo' should have kind `k0', - but `f' has kind `k1 -> k0' - In the type `a ~ f i => Proxy (Foo f)' - In the class declaration for `Foo' + The first argument of ‛Foo’ should have kind ‛k0’, + but ‛f’ has kind ‛k1 -> k0’ + In the type ‛a ~ f i => Proxy (Foo f)’ + In the class declaration for ‛Foo’ |