From 78a29de1d412e2e365f4c846f1a583540af8a13a Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Mon, 28 Jan 2008 17:36:43 +0000
Subject: [PATCH] Added a couple of notes about replicators

---
 checks/UsageCheckAlgorithms.hs | 2 ++
 common/FlowGraph.hs            | 1 +
 2 files changed, 3 insertions(+)

diff --git a/checks/UsageCheckAlgorithms.hs b/checks/UsageCheckAlgorithms.hs
index c5f4498..1ecf621 100644
--- a/checks/UsageCheckAlgorithms.hs
+++ b/checks/UsageCheckAlgorithms.hs
@@ -39,6 +39,8 @@ joinCheckParFunctions f g x = seqPair (f x, g x)
 checkPar :: forall m a b. Monad m => ((Meta, ParItems a) -> m b) -> FlowGraph m a -> [m b]
 checkPar f g = map f allParItems
   where
+    -- TODO deal with replicators
+  
     allStartParEdges :: Map.Map Int [(Node,Node)]
     allStartParEdges = foldl (\mp (s,e,n) -> Map.insertWith (++) n [(s,e)] mp) Map.empty $ mapMaybe tagStartParEdge $ labEdges g
   
diff --git a/common/FlowGraph.hs b/common/FlowGraph.hs
index e9c9964..461e1b7 100644
--- a/common/FlowGraph.hs
+++ b/common/FlowGraph.hs
@@ -287,6 +287,7 @@ buildFlowGraph funcs s
            addEdge ESeq n s
            addEdge ESeq e n'
            return (n,n')
+    -- TODO replicator
     buildStructured _ s _ = do n <- addDummyNode (findMeta s)
                                return (n,n)