From 7bab0c26ee8d35488a98ff00474e1447bb14c699 Mon Sep 17 00:00:00 2001 From: sterni Date: Wed, 23 Nov 2022 20:51:31 +0100 Subject: test(tvix/eval): verify pointer equality in list comparisons Change-Id: I617d402c8ecc7aaf607c4bdcd58a06ebddb71fac Reviewed-on: https://cl.tvl.fyi/c/depot/+/7370 Reviewed-by: tazjin Tested-by: BuildkiteCI Reviewed-by: Adam Joseph --- tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.exp | 1 + tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.nix | 6 ++++++ tvix/verify-lang-tests/default.nix | 1 + 3 files changed, 8 insertions(+) create mode 100644 tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.exp create mode 100644 tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.nix diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.exp b/tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.exp new file mode 100644 index 0000000000..27ba77ddaf --- /dev/null +++ b/tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.exp @@ -0,0 +1 @@ +true diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.nix new file mode 100644 index 0000000000..f60d27d381 --- /dev/null +++ b/tvix/eval/src/tests/tvix_tests/eval-okay-value-pointer-compare.nix @@ -0,0 +1,6 @@ +# For an explanation of this behavior see //tvix/docs/value-pointer-equality.md +let + f = owo: "thia"; +in + +[ f 42 ] > [ f 21 ] \ No newline at end of file diff --git a/tvix/verify-lang-tests/default.nix b/tvix/verify-lang-tests/default.nix index b526085bb9..4de92ab6c8 100644 --- a/tvix/verify-lang-tests/default.nix +++ b/tvix/verify-lang-tests/default.nix @@ -54,6 +54,7 @@ let # Comparable lists are not in Nix 2.3 "eval-okay-sort.nix" = [ nix ]; "eval-okay-compare-lists.nix" = [ nix ]; + "eval-okay-value-pointer-compare.nix" = [ nix ]; # getAttrPos gains support for functionArgs-returned sets after 2.3 "eval-okay-getattrpos-functionargs.nix" = [ nix ]; # groupBy appeared (long) after 2.3 -- cgit 1.4.1