1 patch for repository darcs-unstable@darcs.net:screened:

patch 93b6c98cfb009a4f76a53604dcfea2fa6bf58506
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Fri Jun 14 13:29:00 BST 2019
  * add a comment explaining the commuting during revert
  
  I also renamed the variables to make things clearer

Attachments

• add-a-comment-explaining-the-commuting-during-revert.dpatch
• patch-preview.txt
• unnamed

+                    So we need 'torevert' with 'norevert', and if 
that fails then keep we
+                    need to keep some of 'norevert' in the actual 
unrevert patch so it
+                    still makes sense.

This sentence was probably not ment to be written as is. Could you 
fix that? It's a bit hard for me to guess what it was meant to say 
exactly.

Sorry, my ability to proof-read what I've just written seems to
have completely deserted me.

How's this? I also added some more explanation.

`
{- The user has split unrecorded into the sequence 'norevert' then 'torevert',
   which is natural as the bit we keep in unrecorded should have recorded
   as the context.

   But the unrevert patch also needs to have recorded as the context, not
   unrecorded (which can be changed by the user at any time).

   So we need to commute 'torevert' with 'norevert', and if that fails then
   we need to keep some of 'norevert' in the actual unrevert patch so it
   still makes sense. The use of genCommuteWhatWeCanRL minimises the amount
   of 'norevert' that we need to keep.
-}
`

> {- The user has split unrecorded into the sequence 'norevert' then 'torevert',
>    which is natural as the bit we keep in unrecorded should have recorded
>    as the context.
> 
>    But the unrevert patch also needs to have recorded as the context, not
>    unrecorded (which can be changed by the user at any time).
> 
>    So we need to commute 'torevert' with 'norevert', and if that fails then
>    we need to keep some of 'norevert' in the actual unrevert patch so it
>    still makes sense. The use of genCommuteWhatWeCanRL minimises the amount
>    of 'norevert' that we need to keep.
> -}

Perfect.

Here's the patch with that text, I'll treat this as as accepted.

1 patch for repository darcs-unstable@darcs.net:screened:

patch 70e9da946995f466288989d3d1e82d43c4a7a6f3
Author: Ganesh Sittampalam <ganesh@earth.li>
Date:   Sat Jun 15 09:01:56 BST 2019
  * Make my previous comment about revert make sense
  
  Also added a bit more detailed explanation.

Attachments

• make-my-previous-comment-about-revert-make-sense.dpatch
• patch-preview.txt
• unnamed