diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-09-13 10:22:05 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-13 10:27:53 -0400 |
| commit | 362cca13858faf7e1158273780ea900e7dad5827 (patch) | |
| tree | 468c06697b2a6ef3f65b79a469a131d279f71deb /testsuite/tests/quantified-constraints | |
| parent | 65a0bd69ac1fb59047cd4c8554a8fc756c7b3476 (diff) | |
| download | haskell-362cca13858faf7e1158273780ea900e7dad5827.tar.gz | |
Diagnostic codes: acccept test changes
The testsuite output now contains diagnostic codes, so many tests need
to be updated at once.
We decided it was best to keep the diagnostic codes in the testsuite
output, so that contributors don't inadvertently make changes to the
diagnostic codes.
Diffstat (limited to 'testsuite/tests/quantified-constraints')
7 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/quantified-constraints/T15290a.stderr b/testsuite/tests/quantified-constraints/T15290a.stderr index 7513fa4f9b..0153a1a937 100644 --- a/testsuite/tests/quantified-constraints/T15290a.stderr +++ b/testsuite/tests/quantified-constraints/T15290a.stderr @@ -1,5 +1,5 @@ -T15290a.hs:25:12: error: +T15290a.hs:25:12: error: [GHC-18872] • Couldn't match representation of type: m (Int, IntStateT m a1) with that of: m (Int, StateT Int m a1) arising from a use of ‘coerce’ diff --git a/testsuite/tests/quantified-constraints/T15290b.stderr b/testsuite/tests/quantified-constraints/T15290b.stderr index 1c96359d96..e2a426b70a 100644 --- a/testsuite/tests/quantified-constraints/T15290b.stderr +++ b/testsuite/tests/quantified-constraints/T15290b.stderr @@ -1,5 +1,5 @@ -T15290b.hs:28:49: error: +T15290b.hs:28:49: error: [GHC-18872] • Couldn't match representation of type: f (m b) with that of: f (T1 m b) arising from the coercion of the method ‘traverse'’ diff --git a/testsuite/tests/quantified-constraints/T15334.stderr b/testsuite/tests/quantified-constraints/T15334.stderr index 902d7a71e5..60476208aa 100644 --- a/testsuite/tests/quantified-constraints/T15334.stderr +++ b/testsuite/tests/quantified-constraints/T15334.stderr @@ -1,5 +1,5 @@ -T15334.hs:8:6: error: +T15334.hs:8:6: error: [GHC-69012] • You can't specify an instance for a tuple constraint • In the quantified constraint ‘forall a. Eq a => (C m a, D m a)’ In the type signature: diff --git a/testsuite/tests/quantified-constraints/T15918.stderr b/testsuite/tests/quantified-constraints/T15918.stderr index 4ee54563c5..0f4d7e5e07 100644 --- a/testsuite/tests/quantified-constraints/T15918.stderr +++ b/testsuite/tests/quantified-constraints/T15918.stderr @@ -1,5 +1,5 @@ -T15918.hs:19:19: error: +T15918.hs:19:19: error: [GHC-83865] • Couldn't match kind ‘*’ with ‘k0 -> *’ Expected kind ‘(k0 -> *) -> Constraint’, but ‘[]’ has kind ‘* -> *’ • In the first argument of ‘Build’, namely ‘[]’ diff --git a/testsuite/tests/quantified-constraints/T16474.stderr b/testsuite/tests/quantified-constraints/T16474.stderr index b9e7f2d981..787d0c732d 100644 --- a/testsuite/tests/quantified-constraints/T16474.stderr +++ b/testsuite/tests/quantified-constraints/T16474.stderr @@ -1,8 +1,8 @@ -T16474.hs:6:1: - Quantified predicate must have a class or type variable head: - forall a. A t a => A t [a] - In the quantified constraint ‘forall a. A t a => A t [a]’ - In the context: forall a. A t a => A t [a] - While checking the super-classes of class ‘B’ - In the class declaration for ‘B’ +T16474.hs:6:1: error: [GHC-02550] + • Quantified predicate must have a class or type variable head: + forall a. A t a => A t [a] + • In the quantified constraint ‘forall a. A t a => A t [a]’ + In the context: forall a. A t a => A t [a] + While checking the super-classes of class ‘B’ + In the class declaration for ‘B’ diff --git a/testsuite/tests/quantified-constraints/T19921.stderr b/testsuite/tests/quantified-constraints/T19921.stderr index bf33abe256..4ebc2d227f 100644 --- a/testsuite/tests/quantified-constraints/T19921.stderr +++ b/testsuite/tests/quantified-constraints/T19921.stderr @@ -1,5 +1,5 @@ -T19921.hs:29:8: error: +T19921.hs:29:8: error: [GHC-05617] • Could not deduce ‘r’ arising from a use of ‘Dict’ from the context: (x \/ y) \/ z bound by a quantified context at T19921.hs:29:8-11 diff --git a/testsuite/tests/quantified-constraints/T21006.stderr b/testsuite/tests/quantified-constraints/T21006.stderr index cd8ee705bb..1abacf8eb5 100644 --- a/testsuite/tests/quantified-constraints/T21006.stderr +++ b/testsuite/tests/quantified-constraints/T21006.stderr @@ -1,5 +1,5 @@ -T21006.hs:14:10: error: +T21006.hs:14:10: error: [GHC-05617] • Could not deduce ‘c’ arising from the superclasses of an instance declaration from the context: (Determines b, Determines c) |