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

Corrected the pulling up of SEQ replicator counts to descend properly into nested functions

Browse Source
This commit is contained in:
Neil Brown 2008-02-27 19:58:09 +00:00
parent 86c17fed99
commit 46de1956b3
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
transformations/SimplifyExprs.hs
View File

@ -155,8 +155,11 @@ pullRepCounts = doGeneric `extM` doProcess
doProcess p = doGeneric p
pullRepCountSeq :: A.Structured A.Process -> PassM (A.Structured A.Process)
pullRepCountSeq (A.Only m p) = pullRepCounts p >>* A.Only m
pullRepCountSeq (A.Spec m sp str) = pullRepCountSeq str >>* A.Spec m sp
pullRepCountSeq (A.Only m p) = doProcess p >>* A.Only m
pullRepCountSeq (A.Spec m sp str)
= do sp' <- pullRepCounts sp
str' <- pullRepCountSeq str
return $ A.Spec m sp' str'
pullRepCountSeq (A.ProcThen m p s)
= do p' <- doProcess p
s' <- pullRepCountSeq s