diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-14 15:20:53 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-14 15:20:53 -0400 |
| commit | 7b9035e69d65f463da21a82d5f35deebaf1986ac (patch) | |
| tree | 7c34a12612951b7824210384d54d5df0cdbc7b23 | |
| parent | 8cc7053b00237cd468290cb5f2042898e7a80329 (diff) | |
Push writes inside lets
| -rw-r--r-- | src/mono_opt.sml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml index 997bb9be..843bdf90 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -301,6 +301,9 @@ fun exp e = initial = (ERecord [], loc), body = (optExp (EWrite e', loc), loc)} + | EWrite (ELet (x, t, e1, e2), loc) => + optExp (ELet (x, t, e1, (EWrite e2, loc)), loc) + | _ => e and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e) |