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

Changed testTransformProtocolInput so that it does transform protocol inputs in ALT guards

Browse Source
This commit is contained in:
Neil Brown 2008-02-27 17:20:19 +00:00
parent 9b521c9b07
commit af7a15b4df
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
transformations/SimplifyComms.hs
View File

@ -213,7 +213,7 @@ transformInputCase = doGeneric `extM` doProcess
doStructuredA s = return s
transformProtocolInput :: Data t => t -> PassM t
transformProtocolInput = doGeneric `extM` doProcess
transformProtocolInput = doGeneric `extM` doProcess `extM` doAlternative
where
doGeneric :: Data t => t -> PassM t
doGeneric = makeGeneric transformProtocolInput
@ -224,3 +224,15 @@ transformProtocolInput = doGeneric `extM` doProcess
map (A.Only m . A.Input m v . A.InputSimple m' . singleton) iis
doProcess p = doGeneric p
doAlternative :: A.Alternative -> PassM A.Alternative
doAlternative (A.Alternative m v (A.InputSimple m' (firstII:(otherIIS@(_:_)))) body)
= do body' <- doProcess body
return $ A.Alternative m v (A.InputSimple m' [firstII]) $ A.Seq m' $ A.Several m' $
map (A.Only m' . A.Input m' v . A.InputSimple m' . singleton) otherIIS
++ [A.Only m' body']
doAlternative (A.AlternativeCond m cond v (A.InputSimple m' (firstII:(otherIIS@(_:_)))) body)
= do body' <- doProcess body
return $ A.AlternativeCond m cond v (A.InputSimple m' [firstII]) $ A.Seq m' $ A.Several m' $
map (A.Only m' . A.Input m' v . A.InputSimple m' . singleton) otherIIS
++ [A.Only m' body']
doAlternative s = doGeneric s