diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T15859a.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T15859a.stderr | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/testsuite/tests/dependent/should_fail/T15859a.stderr b/testsuite/tests/dependent/should_fail/T15859a.stderr index 1fdac765f2..491733c7b9 100644 --- a/testsuite/tests/dependent/should_fail/T15859a.stderr +++ b/testsuite/tests/dependent/should_fail/T15859a.stderr @@ -1,6 +1,8 @@ -T15859a.hs:19:5: error: - • Cannot apply expression of type ‘KindOf A’ - to a visible type argument ‘Int’ - • In the expression: (undefined :: KindOf A) @Int - In an equation for ‘a’: a = (undefined :: KindOf A) @Int +T15859a.hs:19:26: error: + • Expected kind ‘k0’, but ‘A’ has kind ‘forall k -> k -> *’ + Cannot instantiate unification variable ‘k0’ + with a kind involving polytypes: forall k -> k -> * + • In the first argument of ‘KindOf’, namely ‘A’ + In an expression type signature: KindOf A + In the expression: undefined :: KindOf A |