diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-06T20·20+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-11T12·26+0000 |
commit | 627dfabef1dd3b640d07777de5535d074fb12f19 (patch) | |
tree | 6303bd5648ee3e9821ce00b2d8d839b5690f8cc1 /tvix/eval/docs/known-optimisation-potential.md | |
parent | 07ea30370e887b16228af0dccbe126010cce9e25 (diff) |
fix(tvix/eval): thunk all uses of `with` r/4802
With this all other "weird scope" logic starts working for `with` as well. Change-Id: I0ea1d8c5fbd9cec5084bd574224f77b71ff2b487 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6487 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/docs/known-optimisation-potential.md')
0 files changed, 0 insertions, 0 deletions