[Unison-hackers] checking the roots for preferpartial and forcepartial

[Alan Schmitt]

Hi,

Here is a patch that checks whether the roots are well formed for  
preferpartial and forcepartial. It adds a  
"Pred.extern_associated_strings" function to get all the associated  
strings of a Pred.t.

This also does some code reorganization: lookupPreferredRoot does not  
check for the "times" option when "newer" or "older" is used, this is  
now done by "checkThatPreferredRootIsValid" (so we only need to do it  
once when we start). This also fixes a small bug: if one had:

prefer = newer

then the check that "times=true" would not be done.

Alan

-------------- next part --------------
A non-text attachment was scrubbed...
Name: checkroots.patch
Type: application/octet-stream
Size: 3595 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/unison-hackers/attachments/20051012/7aba9019/checkroots.obj
-------------- next part --------------


--  
The hacker: someone who figured things out and made something cool  
happen.
.O.
..O
OOO


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 186 bytes
Desc: This is a digitally signed message part
Url : http://lists.seas.upenn.edu/pipermail/unison-hackers/attachments/20051012/7aba9019/PGP.pgp