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

Changed chansToAny to use the makeGeneric pass structure

Browse Source
This commit is contained in:
Neil Brown 2008-03-07 23:32:00 +00:00
parent 5ae8aca68e
commit 24ddcf6f0d
1 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
backends/GenerateCPPCSP.hs
View File

@ -135,18 +135,24 @@ chansToAny x = do st <- get
case csFrontend st of
FrontendOccam ->
do chansToAnyInCompState
everywhereM (mkM $ return . chansToAny') x
chansToAnyM x
_ -> return x
where
chansToAny' :: A.Type -> A.Type
chansToAny' c@(A.Chan _ _ (A.UserProtocol {})) = c
chansToAny' (A.Chan a b _) = A.Chan a b A.Any
chansToAny' t = t
chansToAny' :: A.Type -> PassM A.Type
chansToAny' c@(A.Chan _ _ (A.UserProtocol {})) = return c
chansToAny' (A.Chan a b _) = return $ A.Chan a b A.Any
chansToAny' t = doGeneric t
chansToAnyInCompState :: CSM m => m ()
chansToAnyM :: Data t => t -> PassM t
chansToAnyM = doGeneric `extM` chansToAny'
doGeneric :: Data t => t -> PassM t
doGeneric = makeGeneric chansToAnyM
chansToAnyInCompState :: PassM ()
chansToAnyInCompState = do st <- get
let st' = st {csNames = everywhere (mkT chansToAny') (csNames st)}
put st'
csn <- chansToAnyM (csNames st)
put $ st {csNames = csn}
return ()
--{{{ top-level