diff options
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) |