diff options
author | Vincent Ambo <mail@tazj.in> | 2023-01-29T21·35+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2023-05-25T11·28+0000 |
commit | 3aea9bf5275aa96fe863cd30ee0c0ad4552bca6b (patch) | |
tree | 6910a0bd08d9b2317e2a5929108edbffadd6fe4a /ops/glesys/README.md | |
parent | d25962b9a4d175faaf4ea9e08062036c0a3e0236 (diff) |
feat(tvix/eval): implement Chunk::extend method r/6203
This method extends the contents of one chunk with that of another, effectively merging the thunks together. This will be used for the upcoming "unthunking" functionality. Change-Id: I6ad74232cd7f3eca198ed921e455205e00d76e6b Reviewed-on: https://cl.tvl.fyi/c/depot/+/7958 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'ops/glesys/README.md')
0 files changed, 0 insertions, 0 deletions