about summary refs log tree commit diff
path: root/tvix/eval/src/main.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-24T17·01+0300
committertazjin <tazjin@tvl.su>2022-09-02T14·13+0000
commit2023b8e33f0e1700ecbaebf4c6fc37a479e73329 (patch)
tree3c22ab333c8671d228b47b13a690af8d7c69362c /tvix/eval/src/main.rs
parentc3b13416b02d8e0e68330408b107d3aad29e3a3f (diff)
fix(tvix/eval): consider `let ... inherit ...` in dynamic scopes r/4598
In conditions where no dynamic identifiers exist in a scope,
inheriting is usually a no-op - *unless* the identifier is not
statically known and the scope has a non-empty `with`-stack.

Change-Id: Iff4138d9cd4c56e844bc574203708dacc11c3f73
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6264
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/main.rs')
0 files changed, 0 insertions, 0 deletions