about summary refs log tree commit diff
path: root/tvix/eval/.skip-subtree
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-09-23T16·04+0300
committertazjin <tazjin@tvl.su>2022-09-28T00·09+0000
commit14147e9b5f1f16b2a713e2aee58ea201db0e0308 (patch)
tree02eb36a638ee2407b6deb5a7ccac7c8ee9fa4e46 /tvix/eval/.skip-subtree
parent6d60c22b2a3d514ee6f3adfe36f94146d9a7bc1c (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