From b79822a105deea18dcd8da65b60a4ffa576d7c21 Mon Sep 17 00:00:00 2001 From: Adam Joseph Date: Thu, 24 Nov 2022 01:45:02 -0800 Subject: feat(tvix/eval): declare function-pointer-equality dealt with Change-Id: If81ff414dba10a0448b905eec373730a68795376 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7376 Reviewed-by: tazjin Tested-by: BuildkiteCI Autosubmit: Adam Joseph --- tvix/eval/src/value/mod.rs | 1 - 1 file changed, 1 deletion(-) (limited to 'tvix') diff --git a/tvix/eval/src/value/mod.rs b/tvix/eval/src/value/mod.rs index ed29ae938aa3..d777816bb31f 100644 --- a/tvix/eval/src/value/mod.rs +++ b/tvix/eval/src/value/mod.rs @@ -351,7 +351,6 @@ impl Value { // Everything else is either incomparable (e.g. internal // types) or false. - // TODO(tazjin): mirror Lambda equality behaviour _ => Ok(false), } } -- cgit 1.4.1