[darcs-users] [patch106] resolve issue1208: trackdown --bisect (complete branch...

Ganesh Sittampalam 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
witnesses issue.

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 mailing list