Ganesh Sittampalam <[email protected]> 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 <[email protected]> <http://bugs.darcs.net/patch106> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
