annotate tests/subforms.ur @ 1058:86b831978b8d

Recursive hnormSgn for projections of signatures from modules
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Dec 2009 14:34:44 -0500
parents 16b34dc2e29c
children
rev   line source
adamc@758 1 fun handler' ls =
adamc@758 2 case ls of
adamc@758 3 Nil => <xml/>
adamc@761 4 | Cons (r, ls) => <xml><li>{[r.Nam]}, {[r.A]}, {[r.B]}, {[r.Sub]}</li>{handler' ls}</xml>
adamc@758 5
adamc@758 6 fun handler r = return <xml><body>
adamc@759 7 {[r.A]}<br/>
adamc@759 8 {handler' r.Sub}
adamc@759 9 {[r.C]}
adamc@758 10 </body></xml>
adamc@758 11
adamc@758 12 fun main () = return <xml><body>
adamc@758 13 <form>
adamc@758 14 <textbox{#A}/><br/>
adamc@758 15 <subforms{#Sub}>
adamc@758 16 <entry>
adamc@761 17 <hidden{#Nam} value="Sparky"/>
adamc@758 18 <textbox{#A}/><br/>
adamc@758 19 <textbox{#B}/><br/>
adamc@758 20 <textbox{#Sub}/><br/>
adamc@758 21 </entry>
adamc@759 22
adamc@759 23 <entry>
adamc@761 24 <hidden{#Nam} value="Snarky"/>
adamc@759 25 <textbox{#A}/><br/>
adamc@759 26 <textbox{#B}/><br/>
adamc@759 27 <textbox{#Sub}/><br/>
adamc@759 28 </entry>
adamc@758 29 </subforms>
adamc@758 30 <textbox{#C}/><br/>
adamc@758 31 <submit action={handler}/>
adamc@758 32 </form>
adamc@758 33 </body></xml>