1) remove copy-paste code, consolidate index and char array extraction

2) make string= use Arrays.equals
3) implement index-version of string= in terms of string/=
4) implement string-equal in terms of string-not-equal
5) implement string> in terms of string<
6) implement string>= in terms of string<=

The work will continue by doing string-lessp and string-greaterp
in terms of one of them, same for string-not-lessp and string-not-greterp
and so on. Thanks to Alessio Stalla for explaining how the various
indices work.
parent 39074a95
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment