diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-09-09T07·34+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-11T12·26+0000 |
| commit | 675bd36ea52feaed945e2fb39aff79c16d575468 (patch) | |
| tree | eaee1db578d0c9aff0f34bac1c703b053d82095b /tools | |
| parent | a0acbfa47070b3fac9fb2c72ece57edb2c9faa10 (diff) | |
feat(tvix/eval): add Chunk::pop_op method r/4812
This is used to drop an already emitted operation from a chunk again and clean up its span tracking. This is required in cases where the compiler has to backtrack. Change-Id: I8112da9427688bb2dec96a2ddd12390f6e9734c3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6499 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions