diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-09T15·19+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-13T20·24+0000 |
commit | e876c3a41c89bfc9d40ee64a4f12fb70d5357a87 (patch) | |
tree | ced8e4f1573a82ec286e0c38df166efd109c6a01 /users/wpcarro/emacs/pkgs/cycle | |
parent | 2dcbbb8c4a737483fcd2133411ef425299a741fd (diff) |
fix(tvix/value): KV struct needs to carry name as Value, too r/4437
Users may construct a pair that falls into the name/value optimisation but where `name` is not actually a string, as from the language perspective there is nothing special about this attribute set. We also can not conditionally apply this by forcing the key at this point, as this would change the language semantics. Therefore, the name in the optimised representation is also carried as `Value`. Change-Id: I5be8a4c98ba19ebdfb7203a929f714a04492512e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6101 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'users/wpcarro/emacs/pkgs/cycle')
0 files changed, 0 insertions, 0 deletions