On Wed, Jun 2, 2021 at 8:20 AM Stefan Sperling <s...@elego.de> wrote:
> ther diff implementations limit the effort spent by aborting after a > certain number of search iterations, and then simply use the valid > traversal which was most recently discovered. The libxdiff code used by Git > does this, as does the diff implementation which Neels Hofmyer wrote for > Game of Trees (see > https://git.gameoftrees.org/gitweb/?p=diff.git;a=summary) [Emerging without years of context, he says...] Even GNU diff offers options along these lines, right? By default, it shoots for a valid but relatively snappy response at the cost of conciseness. But can you can add --minimal if you really want it to work harder at producing tighter output. I say that not to propose that you make this behavior optional, but merely to point out another (practically ancient) case of a diff algorithm's default behavior favoring performance over conciseness. Oh, and "hey!" -- Mike