This incurs a slight inefficiency that we may want to fix at some point, see
the comment in the code. The main problem with fixing these kind of
inefficiencies is that it makes the code more complicated, since we have to
keep track of and update the tree state. An API with implicit updates (i.e.
using unsafeInterleaveIO, such as for PatchInfoAnd and PatchSet) is easier
to use, but makes it much harder to control memory usage.

1 patch for repository http://darcs.net/screened:

patch 9768b3e2ed31cfeb37b88cd5f814e0b972825bc7
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon May  6 20:37:23 CEST 2024
  * resolve issue2714: cannot remove recursively

Attachments

• patch-preview.txt
• resolve-issue2714_-cannot-remove-recursively_0.dpatch

Ups, sent the same patch twice.