diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-03T01·05+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-08T20·17+0000 |
commit | fe047885d75a97bd303176847db7fdb2a781344d (patch) | |
tree | 9b4bef7f2b00c8ce2bc815a73ce68bc63f846e18 /.gitignore | |
parent | 360c805efc8f0d4a6f6631fc229c09d8dea8a216 (diff) |
fix(tvix/eval): consider local depth when deciding to defer r/4762
Deferred local upvalues can *only* occur at the same depth as the thing that is closing over them, but there are various situations with scope nesting where the actual stack indexes of the local and the closer look like a deferred value is being accessed. To fix this, simply compare the depth as well. Change-Id: Ice77424cc87ab0a2c4f01379e68d4399a917b12b Reviewed-on: https://cl.tvl.fyi/c/depot/+/6429 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions