diff options
Diffstat (limited to 'src/Simplify.hs')
| -rw-r--r-- | src/Simplify.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Simplify.hs b/src/Simplify.hs index 16a3e1d..cbeee75 100644 --- a/src/Simplify.hs +++ b/src/Simplify.hs @@ -54,6 +54,9 @@ simplify = \case -- bind-let commute EMBind (ELet _ a b) c -> simplify (ELet ext a (EMBind b (weakenExpr (WCopy WSink) c))) + -- return-let commute + EMReturn env (ELet _ a b) -> simplify (ELet ext a (EMReturn env b)) + EVar _ t i -> EVar ext t i ELet _ a b -> ELet ext (simplify a) (simplify b) EPair _ a b -> EPair ext (simplify a) (simplify b) |