diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T15807.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T15807.stderr | 18 |
1 files changed, 4 insertions, 14 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15807.stderr b/testsuite/tests/typecheck/should_fail/T15807.stderr index e24f5bb855..809398ade0 100644 --- a/testsuite/tests/typecheck/should_fail/T15807.stderr +++ b/testsuite/tests/typecheck/should_fail/T15807.stderr @@ -1,16 +1,6 @@ -T15807.hs:12:24: error: - • Expecting one more argument to ‘f’ - Expected a type, but ‘f’ has kind ‘k0 -> *’ - • In the first argument of ‘App’, namely ‘f’ - In the type ‘App @f a’ - In the definition of data constructor ‘MkApp’ - -T15807.hs:12:26: error: - • Couldn't match kind ‘*’ with ‘k0 -> *’ - When matching kinds - k0 :: * - f :: k0 -> * - • In the second argument of ‘App’, namely ‘a’ - In the type ‘App @f a’ +T15807.hs:12:12: error: + • Expected kind ‘f -> *’, but ‘f’ has kind ‘*’ + • In the type ‘f a’ In the definition of data constructor ‘MkApp’ + In the data declaration for ‘App’ |