diff options
author | Ryan Lahfa <tvl@lahfa.xyz> | 2023-12-25T23·39+0100 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-12-29T22·00+0000 |
commit | 3e63d7be42c57f9724dcf5ff2ff3121ceb428f00 (patch) | |
tree | 128db7366ba199d20f1437fb5752a2dcd39bbd7d /.gitignore | |
parent | 343ee0de57c4d44e6f4ac725eca7e7c4c34eab0d (diff) |
feat(tvix/eval): context-aware casting to strings r/7282
By default, we don't want contextful strings and we almost always want contextless strings. To this end, we make taking a contextful string a very explicit operation under `to_contextful_str` and we implement manually the `to_str` cast which requires a `if !s.has_context()` guard that the macro cannot cover. Change-Id: I7aae8e57a7d73e547e62b1edb0b1cc7e8c0c69b6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10425 Autosubmit: raitobezarius <tvl@lahfa.xyz> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions