Thanks for your explanation: [Jamie Webb <[EMAIL PROTECTED]>, Wed, 15 Jun 2005 00:38:48 +0100]: > AFAICT, Darcs does not consider that inv(P)P = id, so, err, no.
My mental model just took another hit. > This is probably because it doesn't quite work: consider what happens > if you freely commute across the rollback pair, and then decide to > unpull inv(P). Even as it stands there are bugs related to this. The Naively, I would expect the unpull to fail, or to cause a conflict. > rollback design is AIUI considered irreparably flawed, and will > hopefully be replaced by something better at some point. BTW, I noticed that I cannot rollback a patch that a tag depends on, whereas I was surprised that a tag could be rolled back at all. Regards, Albert. _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
