Ur/Web: tests/form2.ur annotate

Tweak Especialize heuristic to prevent non-termination

author	Adam Chlipala <adam@chlipala.net>
date	Mon, 09 Jan 2012 09:51:39 -0500
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 main : unit -> page = fn () => <html><body>
adamc@144	12 <lform>
adamc@144	13 Name: <textbox{#Nam} /><br/>
adamc@144	14 Word: <textbox{#Word} /><br/>
adamc@144	15
adamc@144	16 <submit action={handler1}/>
adamc@144	17 </lform>
adamc@144	18
adamc@144	19 <lform>
adamc@144	20 Name: <textbox{#Nam} /><br/>
adamc@144	21 Word: <textbox{#Ward} /><br/>
adamc@144	22
adamc@144	23 <submit action={handler2}/>
adamc@144	24 </lform>
adamc@144	25 </body></html>

Mercurial > urweb