On Fri, Feb 24, 2006 at 02:49:38AM +0100, Tommy Pettersson wrote: > On Thu, Feb 23, 2006 at 10:53:41AM -0400, [EMAIL PROTECTED] 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 <[EMAIL PROTECTED]> _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
