about summary refs log tree commit diff
path: root/users/tazjin
diff options
context:
space:
mode:
authorAdam Joseph <adam@westernsemico.com>2022-10-25T09·33-0700
committerclbot <clbot@tvl.fyi>2022-11-04T01·33+0000
commitf93f138c6c4a372c7692ff235a143326c140ab23 (patch)
tree28c3d868bddeae85451d8b4211ad97d4c5953849 /users/tazjin
parent06494742062e77036827dfc7c91dea507b44447f (diff)
fix(tvix/eval): inline mis-named Local::above() r/5237
If self.depth > other.depth then self is deeper than other, so self
is *below* other, not above it.  Let's just inline the function.

Change-Id: I8dda3d90cbc86c8a6fa01bc4a5e506a2e403bd20
Signed-off-by: Adam Joseph <adam@westernsemico.com>
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7090
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Diffstat (limited to 'users/tazjin')
0 files changed, 0 insertions, 0 deletions