From 90d6483a54745b4b647b429c018dd49d0797459c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 17:29:03 -0400 Subject: Noisy demo --- src/mono_opt.sml | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/mono_opt.sml') diff --git a/src/mono_opt.sml b/src/mono_opt.sml index 469fc0d8..7f23d8b1 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -365,8 +365,6 @@ 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