diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-09 15:47:14 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-09 15:47:14 -0500 |
commit | c6e641ffb3195827acbb2787bb202824fef0cfa6 (patch) | |
tree | e034f612a841d48eb9db72b593b77bd4c07c909e /tests | |
parent | 0eee402a615c957f006c01d0424dae45713a9376 (diff) |
Rename <activeHead> to <script> and make it work properly
Diffstat (limited to 'tests')
-rw-r--r-- | tests/ahead.ur | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/ahead.ur b/tests/ahead.ur new file mode 100644 index 00000000..29938d07 --- /dev/null +++ b/tests/ahead.ur @@ -0,0 +1,8 @@ +fun main () : transaction page = return <xml> + <head> + <script code={alert "Hi!"}/> + </head> + <body> + <active code={alert "Bye!"; return <xml/>}/> + </body> +</xml> |