diff options
author | Griffin Smith <grfn@gws.fyi> | 2022-10-13T03·27-0400 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-10-17T11·29+0000 |
commit | e63d14419f5cc2ea1f0d9e9221062c2c8d40fe31 (patch) | |
tree | 8212cd200cb60f58f141ba74f693185b10a26c6d /tvix/eval/proptest-regressions | |
parent | 89dbcbbb3d292c612056ed75a35a78ebd6fae3e1 (diff) |
feat(tvix/eval): Record formals on lambda r/5153
In preparation for both implementing the `functionArgs` builtin and adding support for validating closed formals, record information about the formal arguments to a function *on the Lambda itself*. This may seem a little odd for the purposes of just closed formal checking, but is something we have to have anyway for builtins.functionArgs so I figured I'd do it this way to kill both birds with one stone. Change-Id: Ie3770a607bf352a1eb395c79ca29bb25d5978cd8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7001 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/proptest-regressions')
0 files changed, 0 insertions, 0 deletions