diff options
author | Vincent Ambo <mail@tazj.in> | 2022-10-02T15·39+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-10-03T07·50+0000 |
commit | 8d95e35ced1de53af0030793b12714ce13c745a6 (patch) | |
tree | 0ad5d549a85afc13238945d0a2443f8f56474f7b /tools/cheddar/src | |
parent | 8336577c411004d27c86703c4a95e26d3cd762cc (diff) |
fix(tvix/eval): do not fail when finalising non-capturing values r/5020
This can actually legitimately be emitted by the compiler currently when compiling formals with default values. See the scope6 test from the Nix test suite for an example. We should restructure this slightly to be able to reintroduce a runtime error here in case something was compiled incorrectly. Change-Id: Ib81f0f58ae0e850db9fbc459458b7bd0d3ac6f23 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6841 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'tools/cheddar/src')
0 files changed, 0 insertions, 0 deletions