test(tvix/eval): add test for stack slot accounting edge-case

This was fixed by some of the previous commits around scopes. It's
somewhat similar to a few other tests, but I had this one failing
earlier and everything else succeeding, so it is useful to keep it
around for sure.

Change-Id: Ie6cf372b5c805daf992cd87aeb3dfe91542c381c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6431
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
This commit is contained in:
Vincent Ambo 2022-09-03 04:25:02 +03:00 committed by tazjin
parent 09eaa0d4ae
commit 678533bfc4
2 changed files with 18 additions and 0 deletions

View file

@ -0,0 +1 @@
[ 1 2 3 4 5 6 7 ]

View file

@ -0,0 +1,17 @@
# This test deals with a tricky edge-case around scopes, where the
# stack slot accounting must correctly account for the position at
# which the body of a let expression is being initialised when
# resolving upvalues.
let
a = 1;
b = 2;
outer = let
c = 3;
d = 4;
inner = let
e = 5;
f = 6;
in g: [ a b c d e f g ];
in inner;
in outer 7