diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7609.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7609.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7609.stderr b/testsuite/tests/typecheck/should_fail/T7609.stderr index 32bc980fe9..f927b3c0b0 100644 --- a/testsuite/tests/typecheck/should_fail/T7609.stderr +++ b/testsuite/tests/typecheck/should_fail/T7609.stderr @@ -1,14 +1,14 @@ -T7609.hs:7:16: error: +T7609.hs:7:16: error: [GHC-83865] • Expecting one more argument to ‘Maybe’ Expected a type, but ‘Maybe’ has kind ‘* -> *’ • In the type signature: f :: (a `X` a, Maybe) -T7609.hs:10:7: error: +T7609.hs:10:7: error: [GHC-83865] • Expected a constraint, but ‘a `X` a’ has kind ‘*’ • In the type signature: g :: (a `X` a) => Maybe -T7609.hs:10:19: error: +T7609.hs:10:19: error: [GHC-83865] • Expecting one more argument to ‘Maybe’ Expected a type, but ‘Maybe’ has kind ‘* -> *’ • In the type signature: g :: (a `X` a) => Maybe |