diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-03-10 15:17:23 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-10 15:17:23 -0400 |
commit | b8e7b835e7cde4cf374138467da8b16e93a65eb9 (patch) | |
tree | 433f576bae7ae3c50abfef5327d67f0220601783 /src/mono_opt.sml | |
parent | 4f9024019d78bebec6926d19da0361587c88bd03 (diff) |
Batch example
Diffstat (limited to 'src/mono_opt.sml')
-rw-r--r-- | src/mono_opt.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml index 7f23d8b1..469fc0d8 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -365,6 +365,8 @@ fun exp e = | EJavaScript (_, _, SOME (e, _)) => e + | EApp ((e1 as EServerCall _, _), (ERecord [], _)) => e1 + | _ => e and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e) |