From 7e4d9ff86ca96a990f52e05310a0486cb668cfb8 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Fri, 25 Feb 2022 10:43:13 -0600 Subject: T4235: keep full paths in subtract tree In the intial implementation, the delete tree only kept the first node of a path not present in the RHS of the comparison; this was done as a convenience for generating 'trimmed' delete commands for the CLI. However, this loses needed information, and breaks the symmetry of results: LHS, RHS -> del, inter, add RHS, LHS -> add, inter, del Keep full paths in delete tree and rename trees.del to trees.sub(-tract). A separate function 'trim_tree' will be provided to produce a CLI-appopriate delete tree and commands. --- src/config_diff.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/config_diff.mli') diff --git a/src/config_diff.mli b/src/config_diff.mli index 5f96209..5aa6d30 100644 --- a/src/config_diff.mli +++ b/src/config_diff.mli @@ -6,7 +6,7 @@ type diff_trees = { left: Config_tree.t; right: Config_tree.t; add: Config_tree.t ref; - del: Config_tree.t ref; + sub: Config_tree.t ref; inter: Config_tree.t ref; } -- cgit v1.2.3