diff options
| -rw-r--r-- | testsuite/tests/parser/should_fail/T12429.stderr | 5 | ||||
| -rw-r--r-- | testsuite/tests/parser/should_fail/T12811.stderr | 5 | ||||
| -rw-r--r-- | testsuite/tests/pmcheck/complete_sigs/completesig04.stderr | 4 |
3 files changed, 5 insertions, 9 deletions
diff --git a/testsuite/tests/parser/should_fail/T12429.stderr b/testsuite/tests/parser/should_fail/T12429.stderr index fde11ec5eb..e29388f3e5 100644 --- a/testsuite/tests/parser/should_fail/T12429.stderr +++ b/testsuite/tests/parser/should_fail/T12429.stderr @@ -1,7 +1,4 @@ -testsuite/tests/parser/should_fail/T12429.hs:2:29: error: +T12429.hs:2:29: error: parse error on input ‘Y’ Perhaps you intended to use PatternSynonyms - | -2 | import Data.Text (pattern Y) - | ^ diff --git a/testsuite/tests/parser/should_fail/T12811.stderr b/testsuite/tests/parser/should_fail/T12811.stderr index de22bafd27..e9cf78fe5c 100644 --- a/testsuite/tests/parser/should_fail/T12811.stderr +++ b/testsuite/tests/parser/should_fail/T12811.stderr @@ -1,7 +1,4 @@ -testsuite/tests/parser/should_fail/T12811.hs:4:15: error: +T12811.hs:4:15: error: Illegal symbol '.' in type Perhaps you meant to write 'forall <tvs>. <type>'? - | -4 | foo :: foral a. a -> a - | ^ diff --git a/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr b/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr index b72cf6e9b4..de990c7fa9 100644 --- a/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr +++ b/testsuite/tests/pmcheck/complete_sigs/completesig04.stderr @@ -1,4 +1,6 @@ completesig04.hs:3:1: error: - • Cannot form a group of complete patterns from patterns ‘Just’ and ‘Left’ as they match different type constructors (‘Maybe’ resp. ‘Either’) + • Orphan COMPLETE pragmas not supported + A COMPLETE pragma must mention at least one data constructor + or pattern synonym defined in the same module. • In {-# COMPLETE Just, Left #-} |