diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_fail')
-rw-r--r-- | testsuite/tests/patsyn/should_fail/T14552.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/patsyn/should_fail/T21479.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T14552.stderr b/testsuite/tests/patsyn/should_fail/T14552.stderr index 92c1adb57b..2c1bdb8c49 100644 --- a/testsuite/tests/patsyn/should_fail/T14552.stderr +++ b/testsuite/tests/patsyn/should_fail/T14552.stderr @@ -1,5 +1,5 @@ -T14552.hs:22:1: error: +T14552.hs:22:1: error: [GHC-71451] • Cannot generalise type; skolem ‘k’ would escape its scope if I tried to quantify (t0 :: k) in this type: forall k (w :: k --> *). Exp a0 (F @k @(*) w t0) diff --git a/testsuite/tests/patsyn/should_fail/T21479.stderr b/testsuite/tests/patsyn/should_fail/T21479.stderr index 07601492a8..dc6677580d 100644 --- a/testsuite/tests/patsyn/should_fail/T21479.stderr +++ b/testsuite/tests/patsyn/should_fail/T21479.stderr @@ -1,5 +1,5 @@ -T21479.hs:13:1: error: +T21479.hs:13:1: error: [GHC-16220] • Uninferrable type variable a0 in the provided context: (a0 :: *) ~ (Int :: *) • In the declaration for pattern synonym ‘T1’ |