Corrected FlowGraphTest so it generates replicators inside IFs, not CASEs

This commit is contained in:
Neil Brown 2008-01-30 20:16:05 +00:00
parent 0dc94f9a32
commit 76e3a9b615

View File

@ -551,7 +551,7 @@ genStructured allowed n = nextIdT >>* makeMeta' >>= \m -> (flip oneofLS) n
--Replicators are allowed in ALTs, IFs, SEQs and PARs:
,cond (onlyP allowed || onlyO allowed || onlyA allowed)
,cond (onlyP allowed || onlyC allowed || onlyA allowed)
(4, genElem3 A.Rep m genReplicator . genStructured allowed . sub3)
-- Specs currently don't work with Case statements TODO