about summary refs log tree commit diff
path: root/third_party/README.md
diff options
context:
space:
mode:
authorsterni <sternenseemann@systemli.org>2022-09-21T13·03+0200
committersterni <sternenseemann@systemli.org>2022-09-21T14·23+0000
commit7bf1b4deea0be5fcb183b7b39165185c2e9fc521 (patch)
tree65e3f8896dea35cdc117cad81915953c10e1c301 /third_party/README.md
parent7ea249969a0c76af4a9375cb61ad7e9e6ea816f4 (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 'third_party/README.md')
0 files changed, 0 insertions, 0 deletions