Another issue perhaps: for current darcs send, you need not just a
minimal context for a single patch, but for a single minimal context for
a set of potentially unrelated patches.
Wouldn't that be a bit tricky? Naive algorithm might be: commute patches
backwards to compute minimal context separately for each one of the
patches, take union of the contexts, then commute each patch forwards
until it fits into the union-context again. :-/
(Minimal context still has lots of uses outside of send, if I remember
correctly, just thinking about this over breakfast)
|