From 22c2c5ba46bde2ac3f62811eb5caaffede7ceed8 Mon Sep 17 00:00:00 2001 From: Adam Joseph Date: Thu, 24 Nov 2022 01:35:39 -0800 Subject: fix(tvix/eval): implement function/thunk ptr-equality for list ord 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 Tested-by: BuildkiteCI Reviewed-by: sterni Autosubmit: Adam Joseph --- tvix/eval/src/value/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); } } -- cgit 1.4.1