diff src/monoize.sml @ 569:162d5308e34f

Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents 55fc747a67dc
children 86d324061ddc
line wrap: on
line diff
--- a/src/monoize.sml	Sat Dec 20 15:46:48 2008 -0500
+++ b/src/monoize.sml	Sat Dec 20 16:19:26 2008 -0500
@@ -1844,7 +1844,9 @@
             in
                 case tag of
                     "body" => normal ("body", NONE,
-                                      SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc))
+                                      SOME (L'.EStrcat ((L'.EPrim (Prim.String "<script src=\"/app.js\"></script>"), loc),
+                                                        (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]),
+                                                         loc)), loc))
 
                   | "dyn" =>
                     (case #1 attrs of