diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7609.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7609.stderr | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7609.stderr b/testsuite/tests/typecheck/should_fail/T7609.stderr index b02dbe20f8..c5ed9fcad9 100644 --- a/testsuite/tests/typecheck/should_fail/T7609.stderr +++ b/testsuite/tests/typecheck/should_fail/T7609.stderr @@ -1,10 +1,10 @@ - -T7609.hs:7:16: - Expecting one more argument to ‘Maybe’ - The second argument of a tuple should have kind ‘*’, - but ‘Maybe’ has kind ‘* -> *’ - In the type signature for ‘f’: f :: (a `X` a, Maybe) - -T7609.hs:10:7: - Expected a constraint, but ‘a `X` a’ has kind ‘*’ - In the type signature for ‘g’: g :: (a `X` a) => Maybe +
+T7609.hs:7:16: error:
+ Expecting one more argument to ‘Maybe’
+ The second argument of a tuple should have kind ‘*’,
+ but ‘Maybe’ has kind ‘* -> *’
+ In the type signature: f :: (a `X` a, Maybe)
+
+T7609.hs:10:7: error:
+ Expected a constraint, but ‘a `X` a’ has kind ‘*’
+ In the type signature: g :: (a `X` a) => Maybe
|