diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/KindInvariant.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_run/KindInvariant.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_run/KindInvariant.stderr b/testsuite/tests/typecheck/should_run/KindInvariant.stderr index 777b802415..3fe8131daf 100644 --- a/testsuite/tests/typecheck/should_run/KindInvariant.stderr +++ b/testsuite/tests/typecheck/should_run/KindInvariant.stderr @@ -1,5 +1,6 @@ <interactive>:1:3: error: - • Expected kind ‘* -> *’, but ‘State#’ has kind ‘* -> #’ + • Expected kind ‘* -> *’, + but ‘State#’ has kind ‘* -> TYPE 'VoidRep’ • In the first argument of ‘T’, namely ‘State#’ In the type ‘T State#’ |