diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2020-09-03 15:16:41 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-12 21:27:40 -0400 |
| commit | 69ea2fee35b4bcfd9253ee608f7135024186aeed (patch) | |
| tree | b03c1709fbb22db4c78e5d9d97a1a227b52c497f /docs/users_guide/flags.py | |
| parent | 2157be52cd454353582b04d89492b239b90f91f7 (diff) | |
| download | haskell-69ea2fee35b4bcfd9253ee608f7135024186aeed.tar.gz | |
Make `tcCheckSatisfiability` incremental (#18645)
By taking and returning an `InertSet`.
Every new `TcS` session can then pick up where a prior session left with
`setTcSInerts`.
Since we don't want to unflatten the Givens (and because it leads to
infinite loops, see !3971), we introduced a new variant of `runTcS`,
`runTcSInerts`, that takes and returns the `InertSet` and makes
sure not to unflatten the Givens after running the `TcS` action.
Fixes #18645 and #17836.
Metric Decrease:
T17977
T18478
Diffstat (limited to 'docs/users_guide/flags.py')
0 files changed, 0 insertions, 0 deletions