annotate tests/select.ur @ 315:e21d0dddda09

Unpoly non-recursive function
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 09:36:47 -0400
parents 71bafe66dbe1
children fe018cbdd41e
rev   line source
adamc@154 1 val handler = fn x => <html><body>
adamc@154 2 You entered: {cdata x.A}
adamc@154 3 </body></html>
adamc@154 4
adamc@154 5 val main = fn () => <html><body>
adamc@154 6 <lform>
adamc@154 7 <lselect{#A}>
adamc@154 8 <loption value="A">A</loption>
adamc@154 9 <loption value="B">B</loption>
adamc@154 10 </lselect>
adamc@154 11 <submit action={handler}/>
adamc@154 12 </lform>
adamc@154 13 </body></html>