diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2023-09-21 16:06:39 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2023-09-21 16:06:39 +0200 |
| commit | 0f8b95b042ad39df27972b006345922fcaf5cab5 (patch) | |
| tree | b269d22b3161a0e09cfc6fa65d741cce42ede03a /src/Simplify.hs | |
| parent | 574569ee96a01d623baf8efdcd3908eef42b8007 (diff) | |
Pretty print let bindings in do notation
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) |