[darcs-users] darcs record is still too memory inefficient

Max Battcher me at worldmaker.net
Mon Aug 17 21:31:36 UTC 2009


Jason Dagit wrote:
>     If I understand correctly, David says that the real solution is to
>     implement chunky hunks http://bugs.darcs.net/issue1357
> 
> 
> I don't know anything about chunky hunks and I don't see them mentioned 
> or linked in that ticket.  More details can be found where?

Petr describes them in a blog post:

http://mornfall.net/blog/patch_formats.html

--
--Max Battcher--
http://worldmaker.net


More information about the darcs-users mailing list