diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-28T13·21+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-06T07·45+0000 |
commit | 9dd1fa875d622ed808f20bbd35243e046659db59 (patch) | |
tree | 4182c7bbeaeb4aede679af860061b1eb73e0f0d6 /buf.yaml | |
parent | 900a92935d458fff6c4117ba29558ac8aeb529f9 (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 'buf.yaml')
0 files changed, 0 insertions, 0 deletions