diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-10-25T09·16-0700 |
---|---|---|
committer | Adam Joseph <adam@westernsemico.com> | 2022-11-05T21·58+0000 |
commit | c096152953d7178566f8ae53b63154b5f2bbb177 (patch) | |
tree | 7e7649bac60cd446adf6079e7ffaf492e137eee4 /tvix/proto | |
parent | 8240b2959e47a38cc946d56c7514f15510305f57 (diff) |
refactor(tvix/eval): rename Opcode::DataLocalIdx to DataStackIdx r/5250
It is very confusing that this opcode is called DataLocalIdx, but it carries a StackIdx rather than a LocalIdx. It seems like this really ought to be called DataStackIdx, but maybe I've misunderstood; if so please explain it to me. Change-Id: I91f6ffa759412beef0b91d3c19ec0d873fe51b99 Signed-off-by: Adam Joseph <adam@westernsemico.com> Reviewed-on: https://cl.tvl.fyi/c/depot/+/7088 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/proto')
0 files changed, 0 insertions, 0 deletions