diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-02-26 14:51:59 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-05 04:48:39 -0500 |
| commit | 4cd98bd2c91cac4a10831ab7111c7be8153bdd33 (patch) | |
| tree | ab3fc0a338e56e9fe901332fbb957abf7a2eefce /testsuite/tests/linear | |
| parent | 6467a48e64ce5ccea29099cb89962e879cded91c (diff) | |
| download | haskell-4cd98bd2c91cac4a10831ab7111c7be8153bdd33.tar.gz | |
Run linear Lint on the desugarer output (part of #19165)
This addresses points (1a) and (1b) of #19165.
- Move mkFailExpr to HsToCore/Utils, as it can be shared
- Desugar incomplete patterns and holes to an empty case,
as in Note [Incompleteness and linearity]
- Enable linear linting of desugarer output
- Mark MultConstructor as broken. It fails Lint, but I'd like to fix this
separately.
Metric Decrease:
T6048
Diffstat (limited to 'testsuite/tests/linear')
| -rw-r--r-- | testsuite/tests/linear/should_compile/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/linear/should_compile/all.T b/testsuite/tests/linear/should_compile/all.T index 4869db0f2f..17e04ca94a 100644 --- a/testsuite/tests/linear/should_compile/all.T +++ b/testsuite/tests/linear/should_compile/all.T @@ -29,7 +29,7 @@ test('LinearConstructors', normal, compile, ['']) test('Linear1Rule', normal, compile, ['']) test('LinearEmptyCase', normal, compile, ['']) test('Tunboxer', normal, compile, ['']) -test('MultConstructor', normal, compile, ['']) +test('MultConstructor', expect_broken(19165), compile, ['']) test('LinearLetRec', expect_broken(405), compile, ['-O -dlinear-core-lint']) test('LinearTH1', normal, compile, ['']) test('LinearTH2', normal, compile, ['']) |