New Issue: Should '<' '>' '<=' '>=' on domains, ranges be a compiler error?

19332, "vasslitvinov", "Should '<' '>' '<=' '>=' on domains, ranges be a compiler error?", "2022-03-01T06:41:24Z"

If we turn * / % an error on domains and ranges in #19264,
should < > <= >= on domains, ranges also be a compiler error?

Background: as an experiment, I ran a full paratest of Compiler errors for < <= >= > on domains and ranges · vasslitvinov/chapel@6db1d20 · GitHub . I got 8 failures:

  • This test attempts to compute range intersection using the min function:
// test/domains/marybeth/test_compare_range.chpl
proc initMatrix(A:[?D]) {
  for i in min(D.dim(0),D.dim(1)) do
    A(i,i) = 1.0;
}
  • These tests expect a promoted interpretation of < on ranges:
test/library/packages/UnitTest/AssertGreater/AssertGreaterTest.chpl
test/library/packages/UnitTest/AssertLess/AssertLessTest.chpl
  • 5 failures are not significant:
test/studies/adventOfCode/2021/bradc/futures/day13-error.bad
test/visibility/except/operatorsExceptions/exceptGreaterThan.chpl
test/visibility/except/operatorsExceptions/exceptGreaterThanOrEqual.chpl
test/visibility/except/operatorsExceptions/exceptLessThan.chpl
test/visibility/except/operatorsExceptions/exceptLessThanOrEqual.chpl