diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-10T15·00+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-24T18·19+0000 |
commit | a2b4b4a48521d1751fa9c88cec980f0b4b59427d (patch) | |
tree | e2870f6db85d363acc42ce07cecca2dcd7792917 /.gitignore | |
parent | 6dc9ca5723ee46ade3ad3618ae780ec88ae884e2 (diff) |
fix(tvix/value): implement PartialOrd/PartialEq for strings r/4458
Instead of comparing the enum variants (which does not yield useful behaviour), compare &str representations of the string instead. Change-Id: I5e94b5f6c91b4561e1bc7c36d586f3d23c243764 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6112 Tested-by: BuildkiteCI Reviewed-by: eta <tvl@eta.st>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions