From 7168799784db824794c03d7ae6711ca44e01283a Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sat, 10 Nov 2007 18:31:16 +0000 Subject: [PATCH] Fixed the use of the wrong meta tag in the handling of A.Choice when building the FlowGraph, which was confusing the QuickCheck tests --- common/FlowGraph.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/FlowGraph.hs b/common/FlowGraph.hs index 21b3ef6..792a891 100644 --- a/common/FlowGraph.hs +++ b/common/FlowGraph.hs @@ -209,7 +209,7 @@ buildFlowGraph funcs s buildStructured _ (A.OnlyP _ p) route = buildProcess p (route22 route A.OnlyP) buildStructured outer (A.OnlyC _ (A.Choice m exp p)) route - = do nexp <- addNodeExpression m exp $ route @-> (\f (A.OnlyC m (A.Choice m' exp p)) -> do {exp' <- f exp; return (A.OnlyC m (A.Choice m' exp' p))}) + = do nexp <- addNodeExpression (findMeta exp) exp $ route @-> (\f (A.OnlyC m (A.Choice m' exp p)) -> do {exp' <- f exp; return (A.OnlyC m (A.Choice m' exp' p))}) (nbodys, nbodye) <- buildProcess p $ route @-> (\f (A.OnlyC m (A.Choice m' exp p)) -> f p >>* ((A.OnlyC m) . (A.Choice m' exp))) addEdge ESeq nexp nbodys case outer of