diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-24T17·01+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-02T14·13+0000 |
commit | 2023b8e33f0e1700ecbaebf4c6fc37a479e73329 (patch) | |
tree | 3c22ab333c8671d228b47b13a690af8d7c69362c /.gitignore | |
parent | c3b13416b02d8e0e68330408b107d3aad29e3a3f (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions