diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7328.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7328.stderr | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/testsuite/tests/polykinds/T7328.stderr b/testsuite/tests/polykinds/T7328.stderr index 9e7cbab03a..31b425f644 100644 --- a/testsuite/tests/polykinds/T7328.stderr +++ b/testsuite/tests/polykinds/T7328.stderr @@ -1,8 +1,7 @@ -
-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’
+ +T7328.hs:8:34: error: + • Occurs check: cannot construct the infinite kind: k10 ~ k0 -> k10 + • In the first argument of ‘Foo’, namely ‘f’ + In the first argument of ‘Proxy’, namely ‘Foo f’ + In the type signature: + foo :: a ~ f i => Proxy (Foo f) |