diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-12T14·26+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-08-27T09·27+0000 |
| commit | 0a09356f823f53044f92d44e04289d0f051cfc08 (patch) | |
| tree | 0dd9b916ca424bf0935a60c5dadb0977bba88f54 /tvix/eval/src/value/mod.rs | |
| parent | 4c9d3fa2a6cd19ce0041d56e43c6f7ca958171e4 (diff) | |
refactor(tvix/eval): rename Chunk::add_* functions to ::push_* r/4513
grfn pointed out in cl/6069 that naming them like this makes it clear that things are being added to the end of the state. Change-Id: I6a23215c4fef713869a3c85b0dde1ebbda7637e9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6179 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions