maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(tvix/eval): correctly thunk deferred formals access

Browse source 
Formals can be initialised with deferred default values (see the test
cases), in which case they need an extra thunk to have something that
can be finalised appropriately when the setup is done.

Fixes: b/255
Change-Id: I380e3770be68eaa83ace96d450c7cead32dacc9f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8196
Tested-by: BuildkiteCI
Reviewed-by: raitobezarius <tvl@lahfa.xyz>
This commit is contained in:
Vincent Ambo 2023-03-03 10:54:35 +03:00 • committed by tazjin
parent 43d04d9b98
commit eef48b8f1f
3 changed files with 18 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tvix/eval/src/tests/tvix_tests/eval-okay-deferred-unary-formals.exp Normal file
View file

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

6
tvix/eval/src/tests/tvix_tests/eval-okay-deferred-unary-formals.nix Normal file
View file

@ -0,0 +1,6 @@
# Application of unary operators on deferred formals arguments (via
# defaulting), see also b/255.
[
(({ b ? !a, a }: b) { a = true; })
(({ b ? -a, a }: b) { a = 2; })
]