diff src/cjrize.sml @ 815:493f44759879

Redo Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 18:41:43 -0400
parents 81fce435e255
children 7a4b026e45dd
line wrap: on
line diff
--- a/src/cjrize.sml	Sun May 17 14:36:55 2009 -0400
+++ b/src/cjrize.sml	Sun May 17 18:41:43 2009 -0400
@@ -235,7 +235,6 @@
             ((L'.PSome (t, p), loc), sm)
         end
 
-
 fun cifyExp (eAll as (e, loc), sm) =
     case e of
         L.EPrim p => ((L'.EPrim p, loc), sm)
@@ -470,7 +469,6 @@
             ((L'.EUnurlify (e, t), loc), sm)
         end
 
-      | L.EJavaScript (_, _, SOME e) => cifyExp (e, sm)
       | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains"
 
       | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"