diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7328.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7328.stderr | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/testsuite/tests/polykinds/T7328.stderr b/testsuite/tests/polykinds/T7328.stderr index 7fcd8edf90..9e7cbab03a 100644 --- a/testsuite/tests/polykinds/T7328.stderr +++ b/testsuite/tests/polykinds/T7328.stderr @@ -1,7 +1,8 @@ - -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’ +
+T7328.hs:8:34: error:
+ Kind occurs check
+ The first argument of ‘Foo’ should have kind ‘k0’,
+ but ‘f’ has kind ‘k1 -> k0’
+ In the type signature:
+ foo :: a ~ f i => Proxy (Foo f)
+ In the class declaration for ‘Foo’
|