diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-06T14·12+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-11T12·04+0000 |
commit | 12acb1e2374ac0f5480cfbb262f2171d6df2918b (patch) | |
tree | d8386d3eeff92e2bfb7ff93d19806dfcf7b8f8bb /web | |
parent | 9da99af86045b59867e6082ca99d602308553006 (diff) |
refactor(tvix/eval): add `initialised` arg to declare_phantom r/4795
There are more upcomming uses of declare_phantom where this will come in handy to avoid some code bloat. Change-Id: I75cad8caf14511c519ab2f56e87e99bcbf0a082e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6467 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'web')
0 files changed, 0 insertions, 0 deletions