Re: How to extend a patch theory to fully commute

On Thu, 2 Jul 2020 at 09:12, Ben Franksen <[email protected]> wrote:
> Am 01.07.20 um 05:09 schrieb James Cook:
> > The overall procedure is this:
> >
> > 1. Merge the individual patches to be permuted into a patch sequence
> > address (a, b, (Qi), (nj), X, Y). (You could merge a pair of adjacent
> > patches, the whole sequence of patches in the repo, or anything in
> > between.)
>
> I think it would be good if you pointed out that what you call "merging"
> here is unrelated to what is usually understood as merging patches or
> patch sequences. Even better would be to avoid the term "merging" and
> instead give the concept a new name, such as "combine" or "join".

Oops, it didn't even occur to me I was re-using that word. Changed to
"combine": https://hub.darcs.net/falsifian/misc-pub/patch/a8dcb051bd2febec297ae1611266e33234a3924e

James