diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-02-26 14:51:59 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-03-04 20:38:38 +0100 |
| commit | 32e394653ac467c79679a7545e6434f7677e605d (patch) | |
| tree | e95a0f9913f33e9470efb8c205178c2bc6f6fdde /compiler/Language/Haskell | |
| parent | df74e95ae76b30a7c1a9b155a3e8d58eabd054eb (diff) | |
| download | haskell-wip/T19165.tar.gz | |
Run linear Lint on the desugarer output (part of #19165)wip/T19165
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 'compiler/Language/Haskell')
0 files changed, 0 insertions, 0 deletions