[darcs-users] [patch106] resolve issue1208: trackdown --bisect (complete branch...
bugs at darcs.net
Tue Dec 29 17:56:20 UTC 2009
Ganesh Sittampalam <ganesh at earth.li> added the comment:
I just spent a little while looking at adding witnesses to this, and I think
it's actually a bit tricky because of the way the tree structure is defined.
Also, I realised I'm not very keen on the way that a tree is only ever used with
either 0 or 2 children, where the 2 children are always [FL, RL] - I think
defining a special datatype for this would be best, even aside from the
I think the feature also requires a test. For one thing this would make it
easier to refactor to improve the data structure.
Darcs bug tracker <bugs at darcs.net>
More information about the darcs-users