diff options
Diffstat (limited to 'testsuite/tests/rename/should_fail/rnfail026.stderr')
| -rw-r--r-- | testsuite/tests/rename/should_fail/rnfail026.stderr | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/rename/should_fail/rnfail026.stderr b/testsuite/tests/rename/should_fail/rnfail026.stderr index 22caa11c1d..f220f81812 100644 --- a/testsuite/tests/rename/should_fail/rnfail026.stderr +++ b/testsuite/tests/rename/should_fail/rnfail026.stderr @@ -1,9 +1,9 @@ - -rnfail026.hs:16:17: - The first argument of ‘Monad’ should have kind ‘* -> *’, - but ‘forall a. Eq a => Set a’ has kind ‘*’ - In the instance declaration for ‘Monad (forall a. Eq a => Set a)’ - -rnfail026.hs:19:10: - Illegal polymorphic or qualified type: forall a. [a] - In the instance declaration for ‘Eq (forall a. [a])’ +
+rnfail026.hs:16:27: error:
+ The first argument of ‘Monad’ should have kind ‘* -> *’,
+ but ‘Eq a => Set a’ has kind ‘*’
+ In the instance declaration for ‘Monad (forall a. Eq a => Set a)’
+
+rnfail026.hs:19:10: error:
+ Illegal polymorphic or qualified type: forall a. [a]
+ In the instance declaration for ‘Eq (forall a. [a])’
|