diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-10T17·59+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-08-25T11·11+0000 |
| commit | fa2d250d1a65ba3bf8522fdbbe72dca21fa7ee66 (patch) | |
| tree | 411a62e6428bf9baaca21223af90976f18f27efb /tools/perf-flamegraph.nix | |
| parent | 58db7e3a65ac96664ebd8c73bdff7185e59b8cff (diff) | |
fix(tvix/value): explicitly delegate `Ord` to &str representation r/4474
I assumed that `Ord` is a marker trait like `Eq`, but it actually has a member. Without this ordering was incoherent. Change-Id: Id37cbdf333daf748d29b85243046c7e061b1ce29 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6139 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tools/perf-flamegraph.nix')
0 files changed, 0 insertions, 0 deletions