about summary refs log tree commit diff
path: root/tvix/eval/src/tests/tvix_tests/eval-okay-deeply-nested-with-closure.nix
blob: f65e8ee5379e6b0fac785db2dfe097d01ca8cac9 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
# This convoluted test constructs a situation in which dynamically
# resolved upvalues refer `with` blocks introduced at different lambda
# context boundaries, i.e. the access to a, b in the innermost closure
# must be threaded through upvalues in several levels.

(_:
with { a = 1; b = 1; };

_:
with { b = 2; c = 2; };

_:
with { c = 3; d = 3; };

_:
with { d = 4; };

[ a b c d ]) null
  null
  null
  null