From 90bac0f10328d81ab18be3726779fed0cf77f8dd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 21 Dec 2008 12:01:00 -0500
Subject: Switch to using dyn() function in JavaScript

---
 jslib/urweb.js  |  6 ++++++
 src/monoize.sml | 14 ++++----------
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/jslib/urweb.js b/jslib/urweb.js
index 32912e4c..b7a1af91 100644
--- a/jslib/urweb.js
+++ b/jslib/urweb.js
@@ -1 +1,7 @@
 function sreturn(v) { return {v : v} }
+
+function dyn(s) {
+  var x = document.createElement("span");
+  x.innerHTML = s.v;
+  document.body.appendChild(x);
+}
diff --git a/src/monoize.sml b/src/monoize.sml
index a0a0df30..63d84d8c 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1850,20 +1850,14 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
 
                   | "dyn" =>
                     (case #1 attrs of
-                         (*L'.ERecord [("Signal", (L'.ESignalReturn e, _), _)] => (e, fm)
-                       | L'.ERecord [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _),
+                         (*L'.ERecord [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _),
                                                           e), _), _)] => (e, fm) *)
 
                          L'.ERecord [("Signal", e, _)] =>
                          ((L'.EStrcat
-                               ((L'.EPrim (Prim.String "<script type=\"text/javascript\">"), loc),
-                                (L'.EStrcat ((L'.EJavaScript (L'.Script,
-                                                              (L'.ELet ("signal", (L'.TSignal
-                                                                                       (L'.TFfi ("Basis", "string"), loc),
-                                                                                   loc),
-                                                                        e,
-                                                                        (L'.EWrite (L'.ERel 0, loc), loc)), loc)), loc),
-                                             (L'.EPrim (Prim.String "</script>"), loc)), loc)), loc),
+                               ((L'.EPrim (Prim.String "<script type=\"text/javascript\">dyn("), loc),
+                                (L'.EStrcat ((L'.EJavaScript (L'.Script, e), loc),
+                                             (L'.EPrim (Prim.String ")</script>"), loc)), loc)), loc),
                           fm)
                        | _ => raise Fail "Monoize: Bad dyn attributes")
                     
-- 
cgit v1.2.3