test(tvix/eval): verify pointer equality checks

Change-Id: I9baf2810fbd5b6ee8bfe10fce5b64801a35c1d67
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7369
Reviewed-by: tazjin <tazjin@tvl.su>
Reviewed-by: Adam Joseph <adam@westernsemico.com>
Tested-by: BuildkiteCI
This commit is contained in:
sterni 2022-11-23 20:48:39 +01:00
parent 7bab0c26ee
commit 1ad777e3c7
2 changed files with 47 additions and 0 deletions

View file

@ -0,0 +1 @@
[ true true true true false false false true true true true true true true true true false false ]

View file

@ -0,0 +1,46 @@
# For an explanation of this behavior see //tvix/docs/value-pointer-equality.md
let
# Some incomparable values
f = MC: "Boing";
t = [ (throw "is a little blue man") ];
a = { "with" = abort "headphones and a big smile."; };
# Aliases
f' = f;
t' = t;
a' = a;
peq1 = a: b: [ a ] == [ b ];
peq2 = a: b: { x = a; } == { x = b; };
in
[
# pointer equality of functions
(peq1 f f)
(peq2 f f)
(peq1 f f')
(peq2 f f')
# encapsulation is necessary for pointer equality
(f == f)
(f == f')
# works with !=
([ f ] != [ f' ])
# thunks that fail to evaluated wrapped in sets/lists
(peq1 t t)
(peq2 t t)
(peq1 a a)
(peq2 a a)
(peq1 t t')
(peq2 t t')
(peq1 a' a)
(peq2 a' a)
# function equality with builtins.elem
(builtins.elem f [ 21 f 42 ])
# pointer inequality
(peq1 f (x: x))
(peq2 (x: x) f)
]