about summary refs log tree commit diff
path: root/tvix/eval/src/properties.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2023-01-05T12·11+0300
committertazjin <tazjin@tvl.su>2023-01-06T12·23+0000
commit6a8541e35a76b1d0d100c505d395d0e0418377c7 (patch)
treecd1658f62548197ec6bf4ababd489fbbbeb64079 /tvix/eval/src/properties.rs
parent36e5a4cc07c963e89edd409d9050fe67c10e7e8d (diff)
feat(tvix/eval): implement initial compiler::optimiser module r/5602
This optimiser can rewrite some expressions into more efficient forms,
and warn users about those cases.

As a proof-of-concept, only some simple boolean comparisons are
supported for now.

Change-Id: I7df561118cfbad281fc99523e859bc66e7a1adcb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7766
Tested-by: BuildkiteCI
Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/eval/src/properties.rs')
0 files changed, 0 insertions, 0 deletions