(As a minor technical note: it appears that the implementation of
flattenHistory in figure 4 occurs in the wrong order. Worlds should
be committed from the root to the leaves, shouldn't they?)
--scott
--
( http://cscott.net )
___
fonc mailing
Thank you for the links, Scott!
At Tue, 14 Jun 2011 21:42:17 -0400,
C. Scott Ananian wrote:
(As a minor technical note: it appears that the implementation of
flattenHistory in figure 4 occurs in the wrong order. Worlds should
be committed from the root to the leaves, shouldn't they?)
Thanks for the explanation. I think I was confused originally because
your API is:
in world {
...
}
world.commit()
where I was expecting:
in world {
world.commit()
}
ie, in your API, even though the API occurs in the root context, it
doesn't (usually)