suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added a case in pullRepCountSeq for ForEach replicators

Browse Source
This commit is contained in:
Neil Brown 2008-03-19 17:15:14 +00:00
parent 35ebd43f79
commit e2f5d18169
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
transformations/SimplifyExprs.hs
View File

@ -182,7 +182,10 @@ pullRepCounts = doGeneric `extM` doProcess
spec@(A.Specification _ nonceName _) <- makeNonceIsExpr "rep_for" m' t for spec@(A.Specification _ nonceName _) <- makeNonceIsExpr "rep_for" m' t for
s' <- pullRepCountSeq s s' <- pullRepCountSeq s
return $ A.Spec m spec $ A.Rep m (A.For m' n from (A.ExprVariable m' $ A.Variable m' nonceName)) s' return $ A.Spec m spec $ A.Rep m (A.For m' n from (A.ExprVariable m' $ A.Variable m' nonceName)) s'
-- Other replicators (such as ForEach)
pullRepCountSeq (A.Rep m rep s)
= do s' <- pullRepCountSeq s
return $ A.Rep m rep s'
transformConstr :: Data t => t -> PassM t transformConstr :: Data t => t -> PassM t
transformConstr = doGeneric `ext1M` doStructured transformConstr = doGeneric `ext1M` doStructured