about summary refs log tree commit diff
path: root/tools
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-09-09T07·34+0300
committertazjin <tazjin@tvl.su>2022-09-11T12·26+0000
commit675bd36ea52feaed945e2fb39aff79c16d575468 (patch)
treeeaee1db578d0c9aff0f34bac1c703b053d82095b /tools
parenta0acbfa47070b3fac9fb2c72ece57edb2c9faa10 (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