From b8e7b835e7cde4cf374138467da8b16e93a65eb9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 15:17:23 -0400 Subject: Batch example --- src/mono_opt.sml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/mono_opt.sml') 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) -- cgit v1.2.3