diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-16T12·16+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-01T12·50+0000 |
| commit | f153a163a692215aa754218e18f6809f1ab0eb48 (patch) | |
| tree | 5850b79e74e6936d636f3570d3afb0a90ab21d97 /users/wpcarro/.gitignore | |
| parent | 0f739cd94424c3cbad62bc69de72ee4fff2b6f58 (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 'users/wpcarro/.gitignore')
0 files changed, 0 insertions, 0 deletions