about summary refs log tree commit diff
diff options
context:
space:
mode:
authorAdam Joseph <adam@westernsemico.com>2022-11-24T09·35-0800
committerAdam Joseph <adam@westernsemico.com>2022-11-27T19·16+0000
commit22c2c5ba46bde2ac3f62811eb5caaffede7ceed8 (patch)
tree656cc689d9d35b6a5d2954bdf8e6e74622123a7e
parentdad8a7cbffbb0fac850e081e564eb09c67dd2fca (diff)
fix(tvix/eval): implement function/thunk ptr-equality for list ord r/5346
With this change, the test introduced by cl/7370 passes.

Change-Id: Ie7d2f02a59d61151f14ebd328e6cfa5892cacfb0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7375
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: Adam Joseph <adam@westernsemico.com>
-rw-r--r--tvix/eval/src/value/mod.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/tvix/eval/src/value/mod.rs b/tvix/eval/src/value/mod.rs
index 1763b716ee..ffcb094eef 100644
--- a/tvix/eval/src/value/mod.rs
+++ b/tvix/eval/src/value/mod.rs
@@ -346,7 +346,7 @@ impl Value {
                         return Ok(Some(Ordering::Greater));
                     } else if i == l1.len() {
                         return Ok(Some(Ordering::Less));
-                    } else if !l1[i].nix_eq(&l2[i], vm)? {
+                    } else if !vm.nix_eq(l1[i].clone(), l2[i].clone(), true)? {
                         return l1[i].force(vm)?.nix_cmp(&*l2[i].force(vm)?, vm);
                     }
                 }