about summary refs log tree commit diff
path: root/tools/checks
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-09-03T01·05+0300
committertazjin <tazjin@tvl.su>2022-09-08T20·17+0000
commitfe047885d75a97bd303176847db7fdb2a781344d (patch)
tree9b4bef7f2b00c8ce2bc815a73ce68bc63f846e18 /tools/checks
parent360c805efc8f0d4a6f6631fc229c09d8dea8a216 (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 'tools/checks')
0 files changed, 0 insertions, 0 deletions