diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-12-20T12·01+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-12-22T19·09+0000 |
| commit | 712f1167add03a27b8b9191fd76b7476f84f14f7 (patch) | |
| tree | a104b3b07ea06806e0f7f487e80b446a94d11804 /users/sterni | |
| parent | e3f81e8d3b318ab7c1dbaa535e5c5426467615d7 (diff) | |
feat(tvix/eval): display function names in documentation r/5477
... if they are known. We currently do not propagate names correctly for curried functions. Change-Id: I19d57fb30a5c0000ccdf690b91076f6b2191de23 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7596 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'users/sterni')
0 files changed, 0 insertions, 0 deletions