[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