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/dependent | |
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/dependent')
-rw-r--r-- | testsuite/tests/dependent/should_fail/T13135.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/dependent/should_fail/T15308.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_fail/T13135.stderr b/testsuite/tests/dependent/should_fail/T13135.stderr index 88de56943e..fc70907e11 100644 --- a/testsuite/tests/dependent/should_fail/T13135.stderr +++ b/testsuite/tests/dependent/should_fail/T13135.stderr @@ -1,6 +1,6 @@ T13135.hs:60:10: error: - • No instance for (Constr :<: Constr) + • No instance for ‘Constr :<: Constr’ arising from a use of ‘smartSym’ • In the expression: smartSym sym In an equation for ‘arrLen’: diff --git a/testsuite/tests/dependent/should_fail/T15308.stderr b/testsuite/tests/dependent/should_fail/T15308.stderr index fdb019efc1..60c02ac31f 100644 --- a/testsuite/tests/dependent/should_fail/T15308.stderr +++ b/testsuite/tests/dependent/should_fail/T15308.stderr @@ -1,5 +1,5 @@ T15308.hs:13:5: error: - • No instance for (Show (Foo a f)) arising from a use of ‘show’ + • No instance for ‘Show (Foo a f)’ arising from a use of ‘show’ • In the expression: show In an equation for ‘f’: f = show |