[darcs-users] Applying formal descriptions to files

Ganesh Sittampalam ganesh at earth.li
Fri Feb 6 22:34:26 UTC 2009


On Thu, 5 Feb 2009, Maurí­cio wrote:

>
> What if we had the option to attach such kind of
> descriptions (can I call them "descriptions"?) to
> files under darcs control? If there exists a
> consolidated and popular such metasyntax (is
> there?), darcs could use it to "understand" the
> file, and remember changes in a structured way.

Even once you've dealt with the problem of a good bidirectional mapping 
between text and trees, you have to work out what the patch commutation 
rules are for the trees. I don't think that's a trivial problem, though 
hopefully we can figure it out at some point.

Cheers,

Ganesh


More information about the darcs-users mailing list