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 54508c0773..7fcd8edf90 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’ |