about summary refs log tree commit diff
path: root/tools/nsfv-setup
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-28T13·21+0300
committertazjin <tazjin@tvl.su>2022-09-06T07·45+0000
commit9dd1fa875d622ed808f20bbd35243e046659db59 (patch)
tree4182c7bbeaeb4aede679af860061b1eb73e0f0d6 /tools/nsfv-setup
parent900a92935d458fff6c4117ba29558ac8aeb529f9 (diff)
refactor(tvix/eval): optimise initialisation of locals r/4663
Instead of looking up the local to be initialised by its name again,
we can simply track the index at which it was declared from the point
where the declaration was made.

This reduces some string cloning and removes unnecessary logic. It
also theoretically makes the *current* index available during locals
compilation, which can be used to optimise some recursion cases.

Change-Id: I06f403603d4f86c3d319debfe74b5a52eec00990
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6327
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tools/nsfv-setup')
0 files changed, 0 insertions, 0 deletions