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 | db0aff13453186d3f6edf46b42e43690ea113aea (patch) | |
tree | e034f612a841d48eb9db72b593b77bd4c07c909e /tests | |
parent | fa448e6a07ce4435d596019497a3da8e4eb33f23 (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> |