From 7c866487f8ab0dd9b9c73bee013c18805a0c4489 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 25 Aug 2009 13:57:56 -0400
Subject: grid1 compiles but gets stuck in JS

---
 src/mono_opt.sml | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'src/mono_opt.sml')

diff --git a/src/mono_opt.sml b/src/mono_opt.sml
index 7bfce88b..bf39b311 100644
--- a/src/mono_opt.sml
+++ b/src/mono_opt.sml
@@ -30,8 +30,6 @@ structure MonoOpt :> MONO_OPT = struct
 open Mono
 structure U = MonoUtil
 
-val removeServerCalls = ref false
-
 fun typ t = t
 fun decl d = d
 
@@ -482,12 +480,6 @@ fun exp e =
                    | [] => raise Fail "MonoOpt impossible nil")
               | NONE => e
         end
-
-      | EServerCall (_, _, _, _, ue) =>
-        if !removeServerCalls then
-            optExp ue
-        else
-            e
         
       | _ => e
 
-- 
cgit v1.2.3