diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-23T16·04+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-28T00·09+0000 |
commit | 14147e9b5f1f16b2a713e2aee58ea201db0e0308 (patch) | |
tree | 02eb36a638ee2407b6deb5a7ccac7c8ee9fa4e46 /tvix/eval/.skip-subtree | |
parent | 6d60c22b2a3d514ee6f3adfe36f94146d9a7bc1c (diff) |
refactor(tvix/eval): introduce type to track kind of bindings r/4976
As part of the unification of binding logic between different carriers of bindings, we need to track which kind of bindings we are dealing with (attribute set? recursive scope? ...) to correctly emit keys and declare identifiers in the locals stack. Right now this changes no functionality as `BindingsKind::Attrs` is not yet used (only RecAttrs and LetIn, which was previously represented by the `rec_attrs` boolean). Change-Id: Id2ac27894079ab584521cb568d75c124f7bf2403 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6771 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/.skip-subtree')
0 files changed, 0 insertions, 0 deletions