From ee17ef7aa871f74fe486a8cd2ad7e34533819a8c Mon Sep 17 00:00:00 2001
From: Eugene Crosser <crosser@average.org>
Date: Wed, 30 Apr 2014 20:43:59 +0400
Subject: [PATCH 1/1] wip propagate

---
 NmcTransform.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/NmcTransform.hs b/NmcTransform.hs
index cc89abe..64210eb 100644
--- a/NmcTransform.hs
+++ b/NmcTransform.hs
@@ -148,6 +148,10 @@ splitSubdoms base =
               nest ([k], v)  = (k, v)
               nest (k:ks, v) =
                 nest (ks, def { domMap = Just (singleton k v) })
+
+-- | transfer some elements of `base` into `sub`, notably TLSA
+propagate :: NmcDom -> NmcDom -> NmcDom
+propagate base sub = sub -- FIXME implement it
  
 -- | Presence of some elements require removal of some others
 normalizeDom :: NmcDom -> NmcDom
@@ -181,7 +185,7 @@ descendNmcDom queryOp subdom base = do
             Just map ->
               case lookup d map of
                 Nothing  -> return $ Right def
-                Just sub -> descendNmcDom queryOp ds sub
+                Just sub -> descendNmcDom queryOp ds $ propagate base'' sub
 
 -- | Initial NmcDom populated with "import" only, suitable for "descend"
 seedNmcDom ::
-- 
2.39.2