On 16 Jul 2009, at 05:14, Trent W. Buck wrote:
"Stephen J. Turnbull" <[email protected]> writes:
"rollback" has a precise meaning in database theory. It means to
undo the last transaction (possibly incomplete) in the history. IMO
Mercurial uses this correctly, Darcs does not.
Erm, in Darcs 2 rollback records a new inverse patch. That is, it's
something like
darcs diff -p foo | patch -p1 -R
darcs record -m 'rollback foo'
I would have thought that a rolled-back transaction (in database
terms)
is closer to obliterate, since the end result is that you have no
record
Actually is the equivalent of unrecord. In a database you rollback an
unfinished/unsuccessful operation.
of that transcation, rather than X + -X = 0. Admittedly, IANADBA.
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
--
Dan
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
