summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-12-18 07:48:37 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-12-18 07:48:37 -0500
commit509e9564fe6655fe79e70decf2a61a6a6d3761ba (patch)
tree0d19eed502bbe0d5e7e8c98e41316426441d5afd /tests
parentd47f51e33733c851a53feb308ddaee3924910371 (diff)
Fix XML syntax for closing <input> tags
Diffstat (limited to 'tests')
-rw-r--r--tests/nestedInput.ur10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/nestedInput.ur b/tests/nestedInput.ur
new file mode 100644
index 00000000..19a73e15
--- /dev/null
+++ b/tests/nestedInput.ur
@@ -0,0 +1,10 @@
+fun main () : transaction page =
+ let
+ fun handler _ = return <xml/>
+ in
+ return <xml><body>
+ <form>
+ <submit action={handler}>Uh oh!</submit>
+ </form>
+ </body></xml>
+ end