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
As of now: Index{L"i_10"} < Index{L"i_2"} is true.
After: Index{L"i_10"} > Index{L"i_2"} is true.
While equality (==) (or !=) holds with either string comparison or numeric comparison, ordering/sorting is likely to introduce a bug with string comparison alone, as the programmer naturally might expect a numeric comparison on the numeric portion.
The text was updated successfully, but these errors were encountered:
The symptoms have been fixed in #177 but imo indices should be refactored to contain a label (string) and an ID (integer) as two separate members. Then comparing the ID numerically is easy.
Where needed the two components could be merged into a single string very easily (easier than it is to disassemble the string into the two components)
As of now:
Index{L"i_10"} < Index{L"i_2"}
is true.After:
Index{L"i_10"} > Index{L"i_2"}
is true.While equality (==) (or !=) holds with either string comparison or numeric comparison, ordering/sorting is likely to introduce a bug with string comparison alone, as the programmer naturally might expect a numeric comparison on the numeric portion.
The text was updated successfully, but these errors were encountered: