diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-07-27 20:02:14 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-07-29 13:15:09 -0400 |
commit | f4aea1a20d522091286ce429b3aae278ee35d75e (patch) | |
tree | 014ed570cd1e86f3904f696303b4021f8ab7f090 /testsuite/tests/linear/should_fail/all.T | |
parent | 9b916e81234fa71ffde85d17c7e6d96302518cd7 (diff) | |
download | haskell-f4aea1a20d522091286ce429b3aae278ee35d75e.tar.gz |
Reject pattern synonyms with linear types (#18806)
Diffstat (limited to 'testsuite/tests/linear/should_fail/all.T')
-rw-r--r-- | testsuite/tests/linear/should_fail/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_fail/all.T b/testsuite/tests/linear/should_fail/all.T index a831011cef..9f8ba14483 100644 --- a/testsuite/tests/linear/should_fail/all.T +++ b/testsuite/tests/linear/should_fail/all.T @@ -17,6 +17,7 @@ test('LinearSeq', normal, compile_fail, ['']) test('LinearViewPattern', normal, compile_fail, ['']) test('LinearConfusedDollar', normal, compile_fail, ['']) test('LinearPatSyn', normal, compile_fail, ['']) +test('LinearPatSyn2', normal, compile_fail, ['']) test('LinearRole', normal, compile_fail, ['']) test('LinearGADTNewtype', normal, compile_fail, ['']) test('LinearPartialSig', normal, compile_fail, ['']) |