about summary refs log tree commit diff
path: root/tvix/eval/proptest-regressions
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2023-03-10T11·39+0300
committertazjin <tazjin@tvl.su>2023-03-13T20·30+0000
commitcbb4137dc08620af9d6360057c75891bf4d03b5f (patch)
tree8228a4e9cab70c0b81bd6fb4ab8f154767005938 /tvix/eval/proptest-regressions
parentcd447e185989494200552c05b8b859fd72cefe95 (diff)
feat(tvix/eval): implement generator-based Nix equality logic r/5963
Adds a `Value::neo_nix_eq` method (the `neo_` prefix will be dropped
when we flip over to the generator implementation of the VM) which
implements Nix equality semantics using async, generator-based
comparisons.

Instead of tracking the "kind" of equality that is being compared (see
the pointer-equality doc) through a pair of booleans, I've introduced
an enum that explicitly lists the possible comparisons.

Change-Id: I3354cc1470eeccb3000a5ae24f2418db1a7a2edc
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8241
Tested-by: BuildkiteCI
Reviewed-by: Adam Joseph <adam@westernsemico.com>
Diffstat (limited to 'tvix/eval/proptest-regressions')
0 files changed, 0 insertions, 0 deletions