TreeDB merge operation

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

diff --git a/hake/TreeDB.hs b/hake/TreeDB.hs
index 1114123..9ee61f9 100644 (file)
--- a/hake/TreeDB.hs
+++ b/hake/TreeDB.hs
@@ -4,7 +4,7 @@ module TreeDB(
 
     TreeDB,
     tdbEmpty, tdbByDir, tdbAdd, tdbAddDir,
-    tdbBuild,
+    tdbBuild, tdbMerge,
 
     tdbByDirExt, tdbByDirExts
     )
@@ -100,6 +100,9 @@ tdbAddDir dir files treeDB
 tdbBuild :: [FilePath] -> TreeDB
 tdbBuild files = foldr tdbAdd tdbEmpty files
 
+tdbMerge :: TreeDB -> TreeDB -> TreeDB
+tdbMerge = T.unionL
+
 --
 -- Combined queries
 --