From 627dfabef1dd3b640d07777de5535d074fb12f19 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Tue, 6 Sep 2022 23:20:44 +0300 Subject: fix(tvix/eval): thunk all uses of `with` With this all other "weird scope" logic starts working for `with` as well. Change-Id: I0ea1d8c5fbd9cec5084bd574224f77b71ff2b487 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6487 Tested-by: BuildkiteCI Reviewed-by: sterni --- tvix/eval/src/tests/tvix_tests/eval-okay-manual-rec.nix | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tvix/eval/src/tests/tvix_tests/eval-okay-manual-rec.nix (limited to 'tvix/eval/src/tests/tvix_tests/eval-okay-manual-rec.nix') diff --git a/tvix/eval/src/tests/tvix_tests/eval-okay-manual-rec.nix b/tvix/eval/src/tests/tvix_tests/eval-okay-manual-rec.nix new file mode 100644 index 000000000000..8e1256d764e3 --- /dev/null +++ b/tvix/eval/src/tests/tvix_tests/eval-okay-manual-rec.nix @@ -0,0 +1,9 @@ +# Manual desugaring of something similar to `rec`, to test lower level +# recursion primitives. + +let + set = with set; { + a = 21; + b = a * 2; + }; +in set.b -- cgit 1.4.1