Fixed the implicit mobility module (it was only broken for Rain anyway)
This commit is contained in:
parent
1ea35c6715
commit
adf046a30e
|
@ -62,10 +62,12 @@ effectDecision targetVar (Copy _) (AlterProcess wrapper) = routeModify wrapper a
|
|||
then return $ A.CloneMobile m' $ A.ExprVariable m' v
|
||||
else return e
|
||||
-- TODO handle concat expressions with repeated vars
|
||||
{-
|
||||
A.Dyadic m A.Concat lhs rhs ->
|
||||
do lhs' <- derefExp lhs
|
||||
rhs' <- derefExp rhs
|
||||
return $ A.Dyadic m A.Concat lhs' rhs'
|
||||
-}
|
||||
_ -> return e
|
||||
alterProc :: A.Process -> PassM A.Process
|
||||
alterProc (A.Assign m lhs (A.ExpressionList m' [e]))
|
||||
|
|
Loading…
Reference in New Issue
Block a user