diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-06-28 17:43:24 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-29 15:36:08 -0400 |
| commit | 4e9f58c759f16a3a20c338799a5b83d334c2778d (patch) | |
| tree | f7013651d23a13356499ef2d22b54919f8faa6ca /testsuite | |
| parent | b760c1f743ddb496886f095baa920740b38c9ce0 (diff) | |
| download | haskell-4e9f58c759f16a3a20c338799a5b83d334c2778d.tar.gz | |
Use HsExpansion for overloaded list patterns
Fixes #14380, #19997
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/overloadedlists/should_fail/overloadedlistsfail06.stderr | 5 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/T14380.hs (renamed from testsuite/tests/patsyn/should_fail/T14380.hs) | 0 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/all.T | 1 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T14380.stderr | 9 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/all.T | 1 |
5 files changed, 4 insertions, 12 deletions
diff --git a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail06.stderr b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail06.stderr index 472bd787e2..91668d16d0 100644 --- a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail06.stderr +++ b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail06.stderr @@ -1,4 +1,5 @@ +overloadedlistsfail06.hs:3:3: Not in scope: ‘fromListN’ -overloadedlistsfail06.hs:3:3: Not in scope: ‘toList’ +overloadedlistsfail06.hs:3:3: error: Not in scope: ‘toList’ -overloadedlistsfail06.hs:3:8: Not in scope: ‘fromListN’ +overloadedlistsfail06.hs:3:8: error: Not in scope: ‘fromListN’ diff --git a/testsuite/tests/patsyn/should_fail/T14380.hs b/testsuite/tests/patsyn/should_compile/T14380.hs index aec398590d..aec398590d 100644 --- a/testsuite/tests/patsyn/should_fail/T14380.hs +++ b/testsuite/tests/patsyn/should_compile/T14380.hs diff --git a/testsuite/tests/patsyn/should_compile/all.T b/testsuite/tests/patsyn/should_compile/all.T index defb2ac52b..479b5b0683 100644 --- a/testsuite/tests/patsyn/should_compile/all.T +++ b/testsuite/tests/patsyn/should_compile/all.T @@ -74,6 +74,7 @@ test('T13768', normal, compile, ['']) test('T14058', [extra_files(['T14058.hs', 'T14058a.hs'])], multimod_compile, ['T14058', '-v0']) test('T14326', normal, compile, ['']) +test('T14380', normal, compile, ['']) test('T14394', normal, ghci_script, ['T14394.script']) test('T14498', normal, compile, ['']) test('T16682', [extra_files(['T16682.hs', 'T16682a.hs'])], diff --git a/testsuite/tests/patsyn/should_fail/T14380.stderr b/testsuite/tests/patsyn/should_fail/T14380.stderr deleted file mode 100644 index 47dcc93d81..0000000000 --- a/testsuite/tests/patsyn/should_fail/T14380.stderr +++ /dev/null @@ -1,9 +0,0 @@ - -T14380.hs:8:15: error: - Invalid right-hand side of bidirectional pattern synonym ‘Bar’: - Pattern ‘[]’ is not invertible - Suggestion: instead use an explicitly bidirectional pattern synonym, e.g. - pattern Bar <- Foo [] where Bar = ... - Reason: rebindable syntax is on. - This is fixable: add use-case to #14380 - RHS pattern: Foo [] diff --git a/testsuite/tests/patsyn/should_fail/all.T b/testsuite/tests/patsyn/should_fail/all.T index 9520cc0b77..8993e5c4bf 100644 --- a/testsuite/tests/patsyn/should_fail/all.T +++ b/testsuite/tests/patsyn/should_fail/all.T @@ -40,7 +40,6 @@ test('T13349', normal, compile_fail, ['']) test('T13470', normal, compile_fail, ['']) test('T14112', normal, compile_fail, ['']) test('T14114', normal, compile_fail, ['']) -test('T14380', normal, compile_fail, ['']) test('T14507', normal, compile_fail, ['-dsuppress-uniques']) test('T15289', normal, compile_fail, ['']) test('T15685', normal, compile_fail, ['']) |