diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-10T16·09+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-08-24T21·25+0000 |
| commit | 5685f7c59402439af33f7b6fc1114557f0c33477 (patch) | |
| tree | 01dcd1e3df84249c659d5371aaf2ce104fa60af8 /users | |
| parent | 92c53fe982560248dc7655a5605db5e3cfc35d04 (diff) | |
fix(tvix/value): add ident_str representation of strings r/4462
When printing strings as identifiers (in attribute sets), the string should only be quoted and escaped if it contains escape characters. Change-Id: If2bcfa1e93dc8f00be4d7a57ec1d82fc679103c3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6127 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'users')
0 files changed, 0 insertions, 0 deletions