about summary refs log tree commit diff
path: root/web
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-09-16T15·47+0300
committertazjin <tazjin@tvl.su>2022-09-16T18·12+0000
commita7e280ec004df8c9f38afa5cc3629b632e2b55ca (patch)
tree62fa9c3557c1e889371cbe495798f911e05eebbe /web
parent1cf07051cbc31d869502641ba9afba8f55763398 (diff)
refactor(tvix/eval): introduce a type for tracking bindings r/4875
This type is used in the list temporarily populated by the *second*
pass over all identifiers in a recursive scope. This first pass only
serves to make all bindings known to the compiler, without populating
their values yet.

Having a type here is going to be useful once we implement `rec`,
which needs to thread through slightly more information.

Change-Id: Ie33e0f096c5fcb6c864c991255466748b6f0d1eb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6609
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Diffstat (limited to 'web')
0 files changed, 0 insertions, 0 deletions