From a248f58201c73a3ed2493493798173472291b7b8 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sat, 10 Nov 2007 23:29:49 +0000 Subject: [PATCH] Turned off generating ASTS with Specs inside Case statements until they have been properly implemented and tested --- common/FlowGraphTest.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/common/FlowGraphTest.hs b/common/FlowGraphTest.hs index c398823..c9947c2 100644 --- a/common/FlowGraphTest.hs +++ b/common/FlowGraphTest.hs @@ -423,7 +423,8 @@ genStructured allowed n = nextIdT >>* makeMeta' >>= \m -> (flip oneofLS) n ,cond (onlyO allowed) (2,comb1 (A.OnlyO emptyMeta . A.Else emptyMeta) . genProcess . sub1 ) ,cond (onlyC allowed) (3,comb2 (\e p -> A.OnlyC emptyMeta $ A.Choice emptyMeta e p) genExpression . genProcess . sub2) ,cond (onlyA allowed) (4,genElem2 A.OnlyA m . genAlternative . sub1 ) - ,(3,genElem3 A.Spec m genSpecification . genStructured allowed . sub2 ) + -- Specs currently don't work with Case statements TODO + ,cond (not $ onlyO allowed) (3,genElem3 A.Spec m genSpecification . genStructured allowed . sub2 ) ,(1,genElem2 A.Several m . genList (genStructured allowed) . sub1) ]