diff options
author | sterni <sternenseemann@systemli.org> | 2022-09-12T15·39+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-09-13T22·06+0000 |
commit | 7e625afc5973b3d3ff08598fb9e513aaf1412e89 (patch) | |
tree | 79fae5f8834fb798326bf31553bc675c90ac14c7 /users/edef | |
parent | 6d53fb6c522ae21a5b930920b72a66f551f82c65 (diff) |
fix(tvix/eval): force value in builtins.typeOf r/4848
This prevents Nix programs to observe the "internal" type of thunks. Possibly .type_of() is also an area of the runtime where we should panic if "internal" would ever be returned. Change-Id: I9f358044c48ad64896fb6a1b1a42f00a29efac00 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6539 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'users/edef')
0 files changed, 0 insertions, 0 deletions