You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Hydra terms of any given type are totally ordered; you can compare any pair of terms for equality, greater than, or less than. That property extends to generated code, as well: if any pair of objects has the same logical type, and both objects have a term representation, you should be able to compare them. This is true of generated code in Haskell, but is only partially true of generated code in Java; in Java you can test two objects for equality, but you can't test them for greater than or less than. Fix this. Implement Comparable<A> for each A which currently implements Ord in Haskell.
The text was updated successfully, but these errors were encountered:
The Hydra terms of any given type are totally ordered; you can compare any pair of terms for equality, greater than, or less than. That property extends to generated code, as well: if any pair of objects has the same logical type, and both objects have a term representation, you should be able to compare them. This is true of generated code in Haskell, but is only partially true of generated code in Java; in Java you can test two objects for equality, but you can't test them for greater than or less than. Fix this. Implement
Comparable<A>
for eachA
which currently implementsOrd
in Haskell.The text was updated successfully, but these errors were encountered: