diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7805.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7805.stderr | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T7805.stderr b/testsuite/tests/polykinds/T7805.stderr index bdf0f21b14..33b9d4df6b 100644 --- a/testsuite/tests/polykinds/T7805.stderr +++ b/testsuite/tests/polykinds/T7805.stderr @@ -1,4 +1,6 @@ -T7805.hs:6:21: - ‘HigherRank’ of kind ‘*’ is not promotable - In the kind ‘HigherRank’ +T7805.hs:7:21: error: + Expected kind ‘forall a. a -> a’, but ‘x’ has kind ‘k0’ + In the first argument of ‘HR’, namely ‘x’ + In the first argument of ‘F’, namely ‘HR x’ + In the type instance declaration for ‘F’ |