diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-13T17·39+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-29T20·13+0000 |
commit | ab12b0abff094e58de3af0794f1977bfadbf83a1 (patch) | |
tree | ea6e708651b3063e819fb44535fcc1e0a8ae6c2d /third_party/nsfv | |
parent | 36748fe4f65d85049c5aec2df4828668803ad30b (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