diff options
author | Vincent Ambo <mail@tazj.in> | 2022-10-22T20·55+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-10-23T15·58+0000 |
commit | d4569cb5046882dd5d4c8f3b187d167119186fa5 (patch) | |
tree | 21165efc7ac2f1f7d49435bdd480a66db9c16c1f /tvix/verify-lang-tests | |
parent | 1050a1d650d6304a8fe68691c2eb6042b9c3ef00 (diff) |
feat(tvix/eval): initial attempt at setting lambda names r/5186
When compiling a lambda, take the name of the outer slot (if available) and store it as the name on the lambda. These names are then shown in the observer, and nowhere else (so far). It is of course common for these things to thread through many different context levels (e.g. `f = a: b: c: ...`), in this setup only the outermost closure or thunk gains the name, but it's better than nothing. Change-Id: I681ba74e624f2b9e7a147144a27acf364fe6ccc7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7065 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/verify-lang-tests')
0 files changed, 0 insertions, 0 deletions