diff tests/headDyn.ur @ 1728:95d3b4f26f59

Ensure proper ordering of <script> execution, to bring identifiers into scope in time
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Apr 2012 09:43:09 -0400
parents
children 6817ddd6cf1f
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/headDyn.ur	Fri Apr 27 09:43:09 2012 -0400
@@ -0,0 +1,10 @@
+fun main () : transaction page =
+    x <- source <xml/>;
+    return <xml>
+      <head>
+        <title>Test</title>
+      </head>
+      <body onload={set x <xml>boo</xml>}>
+        <dyn signal={signal x}/>
+      </body>
+    </xml>