summaryrefslogtreecommitdiff
path: root/tests/subforms.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-30 11:48:56 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-30 11:48:56 -0400
commit1a60a233b9349f320e67f35db1aa3b87d7c2a591 (patch)
tree3c14a4c191641933ffd1dc31c3d4d34535687368 /tests/subforms.ur
parent7a3ba5558cb363006aae188e02dd57dda833d356 (diff)
Subforms type-checks; lists urlified and unurlified
Diffstat (limited to 'tests/subforms.ur')
-rw-r--r--tests/subforms.ur23
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/subforms.ur b/tests/subforms.ur
new file mode 100644
index 00000000..3db55a43
--- /dev/null
+++ b/tests/subforms.ur
@@ -0,0 +1,23 @@
+fun handler' ls =
+ case ls of
+ Nil => <xml/>
+ | Cons (r, ls) => <xml><li>{[r.A]}, {[r.B]}, {[r.Sub]}</li>{handler' ls}</xml>
+
+fun handler r = return <xml><body>
+ {[r.A]}, {handler' r.Sub}, {[r.C]}
+</body></xml>
+
+fun main () = return <xml><body>
+ <form>
+ <textbox{#A}/><br/>
+ <subforms{#Sub}>
+ <entry>
+ <textbox{#A}/><br/>
+ <textbox{#B}/><br/>
+ <textbox{#Sub}/><br/>
+ </entry>
+ </subforms>
+ <textbox{#C}/><br/>
+ <submit action={handler}/>
+ </form>
+</body></xml>