diffseq: new option NOTE_ORDERED
commit7aadb23803a8fb71d07e6e87ffb1ca510d86f8ef
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 24 Aug 2020 22:19:27 +0000 (24 15:19 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 24 Aug 2020 22:21:06 +0000 (24 15:21 -0700)
tree468f35eb21bca4fa3c74f41b28598ba5754df926
parent574044396c6f74d9fe19b0b9e60a638c137adfda
diffseq: new option NOTE_ORDERED

Problem reported by Phil Sainty <https://bugs.gnu.org/42931>.
* NEWS: Mention this.
* lib/diffseq.h (NOTE_ORDERED): New macro.
(IF_LINT2): Remove; no longer needed.
(compareseq): If (!NOTE_ORDERED), recurse on the smaller
subproblem and iterate to do the larger.
ChangeLog
NEWS
lib/diffseq.h