suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed the code for detecting if there was the same replicator at the beginning of a PAR group

Browse Source
This commit is contained in:
Neil Brown 2008-02-02 17:24:02 +00:00
parent 70586518df
commit 330266e682
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
checks/UsageCheckAlgorithms.hs
View File

@ -49,10 +49,13 @@ checkPar getRep f g = mapM f =<< allParItems
m (Map.Map Int (Maybe A.Replicator, [(Node,Node)]))
helper mp (s,e,n)
| r == Nothing = fail "Could not find label for node"
| join r /= join (liftM fst $ Map.lookup n mp) = fail "Replicator not the same for all nodes at beginning of PAR"
| otherwise = return $ Map.insertWith add n (join r,[(s,e)]) mp
| prevR == Nothing || prevR == r = return $ Map.insertWith add n (join r,[(s,e)]) mp
| otherwise = fail $ "Replicator not the same for all nodes at beginning of PAR: "
++ show r ++ " ; " ++ show (Map.lookup n mp :: Maybe (Maybe A.Replicator, [(Node, Node)]))
where
add (newR, newNS) (oldR, oldNS) = (newR, oldNS ++ newNS)
prevR :: Maybe (Maybe A.Replicator)
prevR = liftM fst $ Map.lookup n mp
r :: Maybe (Maybe A.Replicator)
r = lab g s >>* (getRep . (\(Node (_,l,_)) -> l))