[darcs-devel] [patch1234] patch index creation memory improvements

Ganesh Sittampalam bugs at darcs.net
Fri Dec 12 20:10:39 UTC 2014


Ganesh Sittampalam <ganesh at earth.li> added the comment:

I checked again and I'm fairly sure your repro is fine without both 
of these patches, or with both of them, but fails if either one is 
on its own:

patch index: change order of on-disk pids
patch index: adapt removePidSuffix to the new order of pids

Anyway, we're both happy with the end result, so the intermediate 
details don't matter too much.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1234>
__________________________________


More information about the darcs-devel mailing list