On Sat, Apr 11, 2009 at 12:11:21PM +0200, Daniel Carrera wrote: > Florent Becker wrote: >>> 4. Darcs verifies F without having to commute anything. >>> 5. Darcs turns F into F' to apply it to Jane's context. >>> 6. Darcs keeps both F and F' in the repository. >>> ... >> Since Mike is pulling from Jane, we can assume that Joel is off-line >> forever, >> and that Mike has a repository like ABXYMN [and wants to ABXYMNF'']. Step >> 5 is now impossible for Mike. He has no access to CDE (since Joel died in >> a >> mysterious car-crash after Jane fixed his brakes), which he needs to >> check that F and F' are related, and that the package he got from Jane is >> not: > > ??? Mike will never see Jane's F'. He only gets F. When darcs pulls from > Jane, the copy he gets is the original F, not F'. What does Mike need F' > for?
Mike can't apply F without a context for F and all patches in that context that are note in his own repo -- information that may not be possible to retrieve from Jane's repo, where F' has a different context and different representations of the patches in that context. -- Tommy Pettersson <[email protected]> _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
