diff src/jscomp.sml @ 651:bab524996fca

Noisy demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 17:29:03 -0400
parents 96ebc6bdb5a0
children b0c1a46b1f15
line wrap: on
line diff
--- a/src/jscomp.sml	Tue Mar 10 16:38:38 2009 -0400
+++ b/src/jscomp.sml	Tue Mar 10 17:29:03 2009 -0400
@@ -895,15 +895,6 @@
                           | EDml _ => unsupported "DML"
                           | ENextval _ => unsupported "Nextval"
                           | EUnurlify _ => unsupported "EUnurlify"
-                          (*| EJavaScript (_, e as (EAbs _, _), _) =>
-                            let
-                                val (e, st) = jsE inner (e, st)
-                            in
-                                (strcat [str "\"cr(\"+ca(",
-                                         e,
-                                         str ")+\")\""],
-                                 st)
-                            end*)
                           | EJavaScript (_, e, _) =>
                             let
                                 val (e, st) = jsE inner (e, st)
@@ -982,9 +973,7 @@
                                               end
                                       in
                                           case e of
-                                              EJavaScript (m, orig as (EAbs (_, t, _, e), _), NONE) =>
-                                              doCode m 1 (t :: env) orig e
-                                            | EJavaScript (m, orig, NONE) =>
+                                              EJavaScript (m, orig, NONE) =>
                                               doCode m 0 env orig orig
                                             | _ => (e, st)
                                       end,