diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-03T13·00+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-08T20·17+0000 |
commit | 9f379ef6dffba1178cba5155d1afb4c5d87110ff (patch) | |
tree | 0fda233dbb0764320f98ac9638f97a5ebdd92f2b /RULES | |
parent | 48d5f4fd573e05410a3b0dfc3bb2a0289e8736b1 (diff) |
fix(tvix/eval): hold thunk borrow as shortly as possible r/4769
At the point where control flow exits Thunk::force (which may be due to recursing), it is vital that there is no longer a borrow to the inner thunk representation, otherwise this can cause accidental infinite recursion (which will be detected, but cause failures on valid code). Change-Id: I2846f3142830ae3110a4f5d2299e9d7928634504 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6436 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'RULES')
0 files changed, 0 insertions, 0 deletions