TPZ5007 Value is not comparable or keyable

Compiler phase: check/runtime.

Compiler explanation: The operation requires equality/order/key semantics that this type does not provide.

Message templates. The marker ⟨value⟩ stands for text computed for the reported program.

• ⟨value⟩ is not ordered comparable, so .⟨value⟩() cannot sort it Source
• the ⟨value⟩ key type ⟨value⟩ is not ordered comparable, so .⟨value⟩() cannot sort it Source
• ⟨value⟩ is not comparable, so test.⟨value⟩ cannot compare it Source
• ⟨value⟩ and ⟨value⟩ are not ordered comparable Source
• ⟨value⟩ and ⟨value⟩ are not comparable values Source
• ⟨value⟩ and ⟨value⟩ are never equal Source
• ⟨value⟩ is not a valid Map/Set key (⟨value⟩ keys are not supported yet) Source

Observed for the candidate in Topaz 5.21.3. Execution

• error[TPZ5007]: () -> int and () -> int are not comparable values

Equality requires comparable operand types. Function values are not comparable, so comparing two functions with == is rejected with TPZ5007. Comparing their int results is accepted.

Choose values with the required equality or ordering behavior. For a user-defined type, supply the supported protocol implementation or compare a suitable field.