[darcs-users] locking

[Tommy Pettersson]

On Fri, Feb 24, 2006 at 02:49:38AM +0100, Tommy Pettersson wrote:
> On Thu, Feb 23, 2006 at 10:53:41AM -0400, zooko at zooko.com wrote:
> > > For plugin patches I think they would have to
> > > be defined in some declarative patch language from which darcs
> > > could deduce how to commute them.
> > 
> > It doesn't have to be fully declarative does it?  Haskell would do.
> 
> Hm, I probably was not thinking[...]

Tough week. Here's what problem I tried to solve: If you and I
write one new patch type each without knowing each other, their
"properties" should be declared in some way so that darcs can
figure out how to commute them with each other. Commutation
rules are currently hardcoded and thus require patch type
designer to know about and handle all other existing patch
types, which in not feasible in plugin land.


-- 
Tommy Pettersson <ptp at lysator.liu.se>