about summary refs log tree commit diff
path: root/tvix/.gitignore
diff options
context:
space:
mode:
authorRyan Lahfa <tvl@lahfa.xyz>2023-12-25T23·39+0100
committerclbot <clbot@tvl.fyi>2023-12-29T22·00+0000
commit3e63d7be42c57f9724dcf5ff2ff3121ceb428f00 (patch)
tree128db7366ba199d20f1437fb5752a2dcd39bbd7d /tvix/.gitignore
parent343ee0de57c4d44e6f4ac725eca7e7c4c34eab0d (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 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions