diff options
| author | sterni <sternenseemann@systemli.org> | 2022-09-21T13·03+0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2022-09-21T14·23+0000 |
| commit | 7bf1b4deea0be5fcb183b7b39165185c2e9fc521 (patch) | |
| tree | 65e3f8896dea35cdc117cad81915953c10e1c301 /tvix | |
| parent | 7ea249969a0c76af4a9375cb61ad7e9e6ea816f4 (diff) | |
refactor(tvix/eval): drop empty Word version cmp rule r/4953
This was derived from
else if (c1 == "" && n2) return true; // true implies c1 < n2
However, this has no effect since Word always looses out against Number
anyways and the `pre` rules are also unaffected by this change – since
this only affects comparison of an empty Word part with a Number.
Change-Id: Ia04e42ac726352b688c87674b0fdb355f06edbcb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6722
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix')
| -rw-r--r-- | tvix/eval/src/builtins/versions.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tvix/eval/src/builtins/versions.rs b/tvix/eval/src/builtins/versions.rs index e149cc4dba..9da7b52ab1 100644 --- a/tvix/eval/src/builtins/versions.rs +++ b/tvix/eval/src/builtins/versions.rs @@ -28,10 +28,6 @@ impl Ord for VersionPart<'_> { n1.cmp(&n2) } - // empty Word always looses - (VersionPart::Word(""), VersionPart::Number(_)) => Ordering::Less, - (VersionPart::Number(_), VersionPart::Word("")) => Ordering::Greater, - // `pre` looses unless the other part is also a `pre` (VersionPart::Word("pre"), VersionPart::Word("pre")) => Ordering::Equal, (VersionPart::Word("pre"), _) => Ordering::Less, |