diff options
| author | sterni <sternenseemann@systemli.org> | 2022-11-23T19·57+0100 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2022-12-02T14·41+0000 |
| commit | 90fe9a51d7f0837d67d90661c9355f7531621a4d (patch) | |
| tree | 4d2b5f2ffa49f6d19aabd2f0016f1934553206da | |
| parent | 5ab86ab8dcb59b5f63daa5ec869c8c6cbf97a458 (diff) | |
test(tvix/eval): check inner forcing despite declaring pointer r/5374
Maybe counter-intuitively the inner elements of a list or the attribute values of an attribute set will be forced despite pointer equality (but only one layer deep). Change-Id: I485d96452fb56f5fb342d39039c9137725b33d3f Reviewed-on: https://cl.tvl.fyi/c/depot/+/7371 Reviewed-by: Adam Joseph <adam@westernsemico.com> Tested-by: BuildkiteCI
| -rw-r--r-- | tvix/eval/src/tests/tvix_tests/eval-fail-force-before-value-pointer-equality.nix | 5 | ||||
| -rw-r--r-- | tvix/eval/src/tests/tvix_tests/eval-fail-outer-value-never-pointer-equal.nix | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/tvix/eval/src/tests/tvix_tests/eval-fail-force-before-value-pointer-equality.nix b/tvix/eval/src/tests/tvix_tests/eval-fail-force-before-value-pointer-equality.nix new file mode 100644 index 0000000000..de6c943256 --- /dev/null +++ b/tvix/eval/src/tests/tvix_tests/eval-fail-force-before-value-pointer-equality.nix @@ -0,0 +1,5 @@ +let + x = throw "I have been forced"; +in + +x == x \ No newline at end of file diff --git a/tvix/eval/src/tests/tvix_tests/eval-fail-outer-value-never-pointer-equal.nix b/tvix/eval/src/tests/tvix_tests/eval-fail-outer-value-never-pointer-equal.nix new file mode 100644 index 0000000000..a8c3cedf61 --- /dev/null +++ b/tvix/eval/src/tests/tvix_tests/eval-fail-outer-value-never-pointer-equal.nix @@ -0,0 +1,7 @@ +# For an explanation of this behavior see //tvix/docs/value-pointer-equality.md +let + x = { foo = throw "foo"; }; +in + +# while `builtins.seq x null` would succeed, this fails! +x == x |