diff options
| author | Sebastian Graf <sgraf1337@gmail.com> | 2019-10-01 18:55:23 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-11 22:10:12 -0400 |
| commit | 30f5ac07a4843b42ed479462661e9d79f038cf09 (patch) | |
| tree | 506d6ab13ff03a8c095c11a71b03b9ae4222203b /testsuite/tests/concurrent | |
| parent | d584e3f08cfee6e28b70bf53c573d86e44f326f8 (diff) | |
| download | haskell-30f5ac07a4843b42ed479462661e9d79f038cf09.tar.gz | |
Much simpler language for PmCheck
Simon realised that the simple language composed of let bindings, bang
patterns and flat constructor patterns is enough to capture the
semantics of the source pattern language that are important for
pattern-match checking. Well, given that the Oracle is smart enough to
connect the dots in this less informationally dense form, which it is
now.
So we transform `translatePat` to return a list of `PmGrd`s relative to
an incoming match variable. `pmCheck` then trivially translates each of
the `PmGrd`s into constraints that the oracle understands.
Since we pass in the match variable, we incidentally fix #15884
(coverage checks for view patterns) through an interaction with !1746.
Diffstat (limited to 'testsuite/tests/concurrent')
| -rw-r--r-- | testsuite/tests/concurrent/T13615/all.T | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/concurrent/T13615/all.T b/testsuite/tests/concurrent/T13615/all.T index 419fe9b77e..a6541d2a23 100644 --- a/testsuite/tests/concurrent/T13615/all.T +++ b/testsuite/tests/concurrent/T13615/all.T @@ -9,5 +9,5 @@ test('T13615', # reproduction probability is around 75% on my dual-core hyperthreaded # laptop. extra_run_opts('+RTS -N15 -ki4k')], - multimod_compile_and_run, + [fragile_for(17269, 'threaded1'), multimod_compile_and_run], ['T13615','-rtsopts']) |