diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-08-26 18:50:30 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-10 10:35:33 -0400 |
| commit | 1207576ac0cfdd3fe1ea00b5505f7c874613451e (patch) | |
| tree | 33acda217dadd8e5eaa38f55f19a6ce6be54dd6f /testsuite/tests/module | |
| parent | 67ce72da1689058cb689ffbb6fcbd5cd12af56df (diff) | |
| download | haskell-1207576ac0cfdd3fe1ea00b5505f7c874613451e.tar.gz | |
PmCheck: Big refactor using guard tree variants more closely following source syntax (#18565)
Previously, we desugared and coverage checked plain guard trees as
described in Lower Your Guards. That caused (in !3849) quite a bit of
pain when we need to partially recover tree structure of the input
syntax to return covered sets for long-distance information, for
example.
In this refactor, I introduced a guard tree variant for each relevant
source syntax component of a pattern-match (mainly match groups, match,
GRHS, empty case, pattern binding). I made sure to share as much
coverage checking code as possible, so that the syntax-specific checking
functions are just wrappers around the more substantial checking
functions for the LYG primitives (`checkSequence`, `checkGrds`).
The refactoring payed off in clearer code and elimination of all panics
related to assumed guard tree structure and thus fixes #18565.
I also took the liberty to rename and re-arrange the order of functions
and comments in the module, deleted some dead and irrelevant Notes,
wrote some new ones and gave an overview module haddock.
Diffstat (limited to 'testsuite/tests/module')
| -rw-r--r-- | testsuite/tests/module/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/module/all.T b/testsuite/tests/module/all.T index 2a26edb6e1..7ca6d5d443 100644 --- a/testsuite/tests/module/all.T +++ b/testsuite/tests/module/all.T @@ -83,7 +83,7 @@ test('mod61', normal, compile_fail, ['']) test('mod62', normal, compile_fail, ['']) test('mod63', normal, compile_fail, ['']) test('mod64', normal, compile, ['']) -test('mod65', normal, compile, ['']) +test('mod65', normal, compile, ['-Wno-overlapping-patterns']) test('mod66', normal, compile_fail, ['']) test('mod67', normal, compile_fail, ['']) test('mod68', normal, compile_fail, ['']) |