From d3c9d90f8d522483c5ad79cb428943e84298b945 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Fri, 6 Jun 2008 16:06:03 +0000 Subject: [PATCH] Corrected a bug when wiring up specifications (specifically inside ALTs) in the flow graph --- flow/FlowGraph.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flow/FlowGraph.hs b/flow/FlowGraph.hs index 76fb121..0ffc293 100644 --- a/flow/FlowGraph.hs +++ b/flow/FlowGraph.hs @@ -137,7 +137,7 @@ foldSpecs sps = case catMaybes sps of fold :: ((Node, Node), (Node, Node)) -> ((Node, Node), (Node, Node)) -> GraphMaker mLabel mAlter label structType ((Node, Node), (Node, Node)) fold ((inStartA, inEndA), (outStartA, outEndA)) ((inStartB, inEndB), (outStartB, outEndB)) = do addEdge ESeq inEndA inStartB - addEdge ESeq outEndB outEndA + addEdge ESeq outEndB outStartA return ((inStartA, inEndB), (outStartB, outEndA)) buildJustSpecs :: (Monad mLabel, Monad mAlter, Data a) => A.Structured a -> ASTModifier mAlter (A.Structured a) structType ->