diff src/jscomp.sml @ 649:96ebc6bdb5a0

Batch example
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 15:17:23 -0400
parents fb2a0e76dcef
children bab524996fca
line wrap: on
line diff
--- a/src/jscomp.sml	Tue Mar 10 13:57:09 2009 -0400
+++ b/src/jscomp.sml	Tue Mar 10 15:17:23 2009 -0400
@@ -44,6 +44,8 @@
              (("Basis", "htmlifyString"), "eh"),
              (("Basis", "new_client_source"), "sc"),
              (("Basis", "set_client_source"), "sv"),
+             (("Basis", "stringToFloat_error"), "pfl"),
+             (("Basis", "stringToInt_error"), "pi"),
              (("Basis", "urlifyInt"), "ts"),
              (("Basis", "urlifyFloat"), "ts"),
              (("Basis", "urlifyString"), "escape")]
@@ -893,7 +895,7 @@
                           | EDml _ => unsupported "DML"
                           | ENextval _ => unsupported "Nextval"
                           | EUnurlify _ => unsupported "EUnurlify"
-                          | EJavaScript (_, e as (EAbs _, _), _) =>
+                          (*| EJavaScript (_, e as (EAbs _, _), _) =>
                             let
                                 val (e, st) = jsE inner (e, st)
                             in
@@ -901,7 +903,7 @@
                                          e,
                                          str ")+\")\""],
                                  st)
-                            end
+                            end*)
                           | EJavaScript (_, e, _) =>
                             let
                                 val (e, st) = jsE inner (e, st)