about summary refs log tree commit diff
path: root/tvix/.gitignore
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-16T12·16+0300
committertazjin <tazjin@tvl.su>2022-09-01T12·50+0000
commitf153a163a692215aa754218e18f6809f1ab0eb48 (patch)
tree5850b79e74e6936d636f3570d3afb0a90ab21d97 /tvix/.gitignore
parent0f739cd94424c3cbad62bc69de72ee4fff2b6f58 (diff)
refactor(tvix/eval): improve naming for locals manipulator methods r/4562
`push_local`/`push_phantom` were worse names because they sound like
the value itself is being pushed, where in actuality it is just being
declared to the compiler.

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