New Issue: Remove type\subtype comparison operators (in favor of named functions)

Notifications Issues
1

19363, "stonea", "Remove type\subtype comparison operators (in favor of named functions)", "2022-03-04T22:12:24Z"

This is something that came up during the types module review (https://github.com/Cray/chapel-private/issues/3034)

We have the following functions\operators to compare types:

  proc isCoercible(type from, type to) param
  proc isSubtype(type sub, type super) param
  proc isProperSubtype(type sub, type super) param
  proc <(type a, type b) param
  proc <=(type a, type b) param
  proc >(type a, type b) param
  proc >=(type a, type b) param

We also have == and != but don't mention this in the doc.

During the meeting we seemed to agree that the <, <=, >, and >= while "cute" were redundant with the functions and it might not be obvious what their semantics are for someone not already familiar with them.

So I think we can go ahead and:

  • Remove <, <=, >, and >= in favor of using the named functions
  • Add == and != to the doc