Changeset 12780

Timestamp:

04.11.2009 17:27:01 (3 weeks ago)

Author:

maeder

Message:

check for duplicate def edges

Location:

trunk

Files:

• Driver/WriteFn.hs (modified) (1 diff)
• Static/DevGraph.hs (modified) (1 diff)

trunk/Driver/WriteFn.hs

@@ -300 +300 @@
     doDump opts "PrintStat" $ putStrLn $ printStatistics dg
     doDump opts "DGraph" $ putStrLn $ showDoc dg ""
+    doDump opts "DuplicateDefEdges" $ let es = duplicateDefEdges dg in
+      unless (null es) $ print es
     doDump opts "DGraphXML" $ writeVerbFile opts
            (filePrefix ++ ".xml") $ ppTopElement $ ToXml.dGraph lenv dg

trunk/Static/DevGraph.hs

@@ -1152 +1152 @@
   reverse $ postorderF $ dffWith (\ (_, n, nl, _) -> (n, nl)) (nodes dg)
     $ efilter (\ (s, t, el) -> s /= t && isDefEdge (dgl_type el)) dg
+
+duplicateDefEdges :: DGraph -> [Edge]
+duplicateDefEdges = concat .
+  filter (not . isSingle) . group . map (\ (s, t, _) -> (s, t))
+  . filter (liftE isDefEdge) . labEdgesDG