diff src/jscomp.sml @ 978:e1f3f1ea8cff

demo/increment works with interpretation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Sep 2009 10:42:59 -0400
parents 2ecf308772ba
children 134e8a4de36b
line wrap: on
line diff
--- a/src/jscomp.sml	Thu Sep 24 07:52:57 2009 -0400
+++ b/src/jscomp.sml	Thu Sep 24 10:42:59 2009 -0400
@@ -912,11 +912,11 @@
                                          str (",cons({c:\"c\",v:function(s){var t=s.split(\"/\");var i=0;return "
                                               ^ unurl ^ "}},cons("),
                                          ek,
-                                         str (",cons("
+                                         str (",cons({c:\"c\",v:"
                                               ^ (case eff of
                                                      ReadCookieWrite => "true"
                                                    | _ => "false")
-                                              ^ ",null)))))}")],
+                                              ^ "},null)))))}")],
                                  st)
                             end
 
@@ -940,10 +940,10 @@
                                 val (e, st) = jsE inner (e, st)
                                 val (ek, st) = jsE inner (ek, st)
                             in
-                                (strcat [str "{c:\"f\",f:window.setTimeout,a:cons(",
+                                (strcat [str "{c:\"f\",f:sl,a:cons(",
+                                         e,
+                                         str ",cons(",
                                          ek,
-                                         str ",cons(",
-                                         e,
                                          str ",null))}"],
                                  st)
                             end