diff options
author | Swann Moreau <evertedsphere@gmail.com> | 2022-06-30 10:08:07 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-08-19 18:29:21 -0400 |
commit | 51ffd00906d1c75dc72c71ba4216b480996c8ce2 (patch) | |
tree | bad8746acded2a4da4de1ef3a3eb90c51e7f66d9 /testsuite/tests/module | |
parent | e5567289c576a76f62bd78bd823a824c7ca83de6 (diff) | |
download | haskell-51ffd00906d1c75dc72c71ba4216b480996c8ce2.tar.gz |
Print constraints in quotes (#21167)
This patch improves the uniformity of error message formatting by
printing constraints in quotes, as we do for types.
Fix #21167
Diffstat (limited to 'testsuite/tests/module')
-rw-r--r-- | testsuite/tests/module/mod46.stderr | 8 | ||||
-rw-r--r-- | testsuite/tests/module/mod47.stderr | 16 | ||||
-rw-r--r-- | testsuite/tests/module/mod54.stderr | 14 |
3 files changed, 19 insertions, 19 deletions
diff --git a/testsuite/tests/module/mod46.stderr b/testsuite/tests/module/mod46.stderr index 6eb0028199..fb6bd6692c 100644 --- a/testsuite/tests/module/mod46.stderr +++ b/testsuite/tests/module/mod46.stderr @@ -1,5 +1,5 @@ -mod46.hs:4:10: - No instance for (Eq T) - arising from the superclasses of an instance declaration - In the instance declaration for ‘Ord T’ +mod46.hs:4:10: error: + • No instance for ‘Eq T’ + arising from the superclasses of an instance declaration + • In the instance declaration for ‘Ord T’ diff --git a/testsuite/tests/module/mod47.stderr b/testsuite/tests/module/mod47.stderr index 6df1a6b63b..d88d3d140d 100644 --- a/testsuite/tests/module/mod47.stderr +++ b/testsuite/tests/module/mod47.stderr @@ -1,9 +1,9 @@ -mod47.hs:6:10: - Could not deduce (Num a) - arising from the superclasses of an instance declaration - from the context: (Eq a, Enum a) - bound by the instance declaration at mod47.hs:6:10-34 - Possible fix: - add (Num a) to the context of the instance declaration - In the instance declaration for ‘Bar [a]’ +mod47.hs:6:10: error: + • Could not deduce ‘Num a’ + arising from the superclasses of an instance declaration + from the context: (Eq a, Enum a) + bound by the instance declaration at mod47.hs:6:10-34 + Possible fix: + add (Num a) to the context of the instance declaration + • In the instance declaration for ‘Bar [a]’ diff --git a/testsuite/tests/module/mod54.stderr b/testsuite/tests/module/mod54.stderr index 2670b53e2d..4ed64b7509 100644 --- a/testsuite/tests/module/mod54.stderr +++ b/testsuite/tests/module/mod54.stderr @@ -1,8 +1,8 @@ -mod54.hs:3:22: - No instance for (Eq T) - arising from the 'deriving' clause of a data type declaration - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Ord T) +mod54.hs:3:22: error: + • No instance for ‘Eq T’ + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Ord T) |