about summary refs log tree commit diff
path: root/third_party/nsfv
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-13T17·39+0300
committertazjin <tazjin@tvl.su>2022-08-29T20·13+0000
commitab12b0abff094e58de3af0794f1977bfadbf83a1 (patch)
treeea6e708651b3063e819fb44535fcc1e0a8ae6c2d /third_party/nsfv
parent36748fe4f65d85049c5aec2df4828668803ad30b (diff)
fix(tvix/eval): skip inherit with no explicit parent in let r/4528
Using `inherit` in a let-binding can not possibly have an effect, as
the given identifier is already bound exactly the same way in the
current scope.

This introduces a subtle bug that is fixed later on, as there
actually *is* a (single) condition where these inherits are
meaningful.

Change-Id: I8b24f0edcfe80db8153bb7e86cf478d36957d6f8
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6192
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'third_party/nsfv')
0 files changed, 0 insertions, 0 deletions