about summary refs log tree commit diff
path: root/users/riking
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-27T15·59+0300
committertazjin <tazjin@tvl.su>2022-09-04T17·40+0000
commitabd8f12f5dbeece2d8d3779be4b499ff1f11680e (patch)
treeb2e3e81e111533ad2539227b8e2fe7996abb81b9 /users/riking
parenta52db148203824484caa82a23fe88f0a137274ee (diff)
refactor(tvix/eval): extend resolve_local logic for self-recursion r/4638
This extends the logic of `Scope::resolve_local` to detect cases where
self-recursion is occuring (i.e. an identifier is being accessed in
its own identifier).

These cases are not yet handled specially, and the logic of when
things are marked initialised (which was previously always at the same
spot as their declaration) has not changed, making this commit a
runtime no-op for now.

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