diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-10 12:51:58 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-10 12:51:58 +0000 |
| commit | aef93c918e2b6e0b8826e970b00c46f8a5c3aaa9 (patch) | |
| tree | 0c264c806bb6fabbc31bb785f7ba2b8f16a3b7aa /editors | |
| parent | 9225033cdf16fd9f3f38b3d3482efb0c36698085 (diff) | |
| parent | 495a7ea9f78209435579453b83726e50f339e50e (diff) | |
Merge #478
478: WIP: implement cancelation via unwinding r=matklad a=matklad
This uses https://github.com/salsa-rs/salsa/pull/107 to implement cancellation.
Now we can get rid of `Cancelable` wrapper from everywhere except the top-level analyzer library.
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions