summaryrefslogtreecommitdiff
path: root/tests/nestedInput.ur
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
commitac637085e36c23d9963c8695e4a3294d49494b68 (patch)
tree0d19eed502bbe0d5e7e8c98e41316426441d5afd /tests/nestedInput.ur
parent9cd4c2ffdc38b34541b243c902a99150687cb16a (diff)
Fix XML syntax for closing <input> tags
Diffstat (limited to 'tests/nestedInput.ur')
-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