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 /users/grfn/xanthous/src/Xanthous/Entities/Common.hs | |
| 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 'users/grfn/xanthous/src/Xanthous/Entities/Common.hs')
0 files changed, 0 insertions, 0 deletions