diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-04-27 09:43:09 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-04-27 09:43:09 -0400 |
commit | 9b321dff16fd54f662fc9730b97d06afb6b28285 (patch) | |
tree | 62a8fa9896b4310f97d319d0a64313afb032404e /tests/headDyn.ur | |
parent | 0e6213b7c363e1624c35921629c338dfee215353 (diff) |
Ensure proper ordering of <script> execution, to bring identifiers into scope in time
Diffstat (limited to 'tests/headDyn.ur')
-rw-r--r-- | tests/headDyn.ur | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/headDyn.ur b/tests/headDyn.ur new file mode 100644 index 00000000..3ad0ea2a --- /dev/null +++ b/tests/headDyn.ur @@ -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> |