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/backpack/should_fail/bkpfail44.stderr | |
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/backpack/should_fail/bkpfail44.stderr')
-rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail44.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail44.stderr b/testsuite/tests/backpack/should_fail/bkpfail44.stderr index d51742c987..7fa5dd34c3 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail44.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail44.stderr @@ -1,9 +1,9 @@ [1 of 1] Processing p - [1 of 2] Compiling A[sig] ( p\A.hsig, nothing ) - [2 of 2] Compiling B ( p\B.hs, nothing ) + [1 of 2] Compiling A[sig] ( p/A.hsig, nothing ) + [2 of 2] Compiling B ( p/B.hs, nothing ) bkpfail44.bkp:10:15: error: - • Could not deduce (a ~ b) + • Could not deduce ‘a ~ b’ from the context: Coercible (T a) (T b) bound by the type signature for: f :: forall a b. Coercible (T a) (T b) => a -> b |