Mercurial > urweb
comparison tests/subforms.ur @ 758:8323c1beef2e
Subforms type-checks; lists urlified and unurlified
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 30 Apr 2009 11:48:56 -0400 |
parents | |
children | 67cd8326f743 |
comparison
equal
deleted
inserted
replaced
757:fa2019a63ea4 | 758:8323c1beef2e |
---|---|
1 fun handler' ls = | |
2 case ls of | |
3 Nil => <xml/> | |
4 | Cons (r, ls) => <xml><li>{[r.A]}, {[r.B]}, {[r.Sub]}</li>{handler' ls}</xml> | |
5 | |
6 fun handler r = return <xml><body> | |
7 {[r.A]}, {handler' r.Sub}, {[r.C]} | |
8 </body></xml> | |
9 | |
10 fun main () = return <xml><body> | |
11 <form> | |
12 <textbox{#A}/><br/> | |
13 <subforms{#Sub}> | |
14 <entry> | |
15 <textbox{#A}/><br/> | |
16 <textbox{#B}/><br/> | |
17 <textbox{#Sub}/><br/> | |
18 </entry> | |
19 </subforms> | |
20 <textbox{#C}/><br/> | |
21 <submit action={handler}/> | |
22 </form> | |
23 </body></xml> |