Ur/Web: tests/form3.ur annotate

Mutual datatypes through Elaborate

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 16 May 2009 15:14:17 -0400
parents	71bafe66dbe1
children

rev	line source
adamc@144	1 val handler1 = fn r => <html><body>
adamc@144	2 <li> Name: {cdata r.Nam}</li>
adamc@144	3 <li> Word: {cdata r.Word}</li>
adamc@144	4 </body></html>
adamc@144	5
adamc@144	6 val handler2 = fn r => <html><body>
adamc@144	7 <li> Name: {cdata r.Nam}</li>
adamc@144	8 <li> Ward: {cdata r.Ward}</li>
adamc@144	9 </body></html>
adamc@144	10
adamc@144	11 val handler3 = fn r => <html><body>
adamc@144	12 <li> Name: {cdata r.Nam}</li>
adamc@144	13 <li> Ward: {cdata r.Ward}</li>
adamc@144	14 <li> Words: {cdata r.Words}</li>
adamc@144	15 </body></html>
adamc@144	16
adamc@144	17 val main : unit -> page = fn () => <html><body>
adamc@144	18 <lform>
adamc@144	19 Name: <textbox{#Nam} /><br/>
adamc@144	20 Word: <textbox{#Word} /><br/>
adamc@144	21
adamc@144	22 <submit action={handler1}/>
adamc@144	23 </lform>
adamc@144	24
adamc@144	25 <lform>
adamc@144	26 Name: <textbox{#Nam} /><br/>
adamc@144	27 Word: <textbox{#Ward} /><br/>
adamc@144	28
adamc@144	29 <submit action={handler2}/>
adamc@144	30 </lform>
adamc@144	31
adamc@144	32 <lform>
adamc@144	33 Name: <textbox{#Nam} /><br/>
adamc@144	34 Ward: <textbox{#Ward} /><br/>
adamc@144	35 Words: <textbox{#Words} /><br/>
adamc@144	36
adamc@144	37 <submit action={handler3}/>
adamc@144	38 </lform>
adamc@144	39 </body></html>

Mercurial > urweb