diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-16T15·47+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-16T18·12+0000 |
commit | a7e280ec004df8c9f38afa5cc3629b632e2b55ca (patch) | |
tree | 62fa9c3557c1e889371cbe495798f911e05eebbe /users/qyliss | |
parent | 1cf07051cbc31d869502641ba9afba8f55763398 (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 'users/qyliss')
0 files changed, 0 insertions, 0 deletions