annotate tests/checkbox.ur @ 1121:0cee0c8d8c37

Support for protocol-specific expunger dispatch
author Adam Chlipala <adamc@hcoop.net>
date Sun, 10 Jan 2010 10:40:57 -0500
parents 71bafe66dbe1
children
rev   line source
adamc@190 1 val handler = fn x => <html><body>
adamc@190 2 {if x.A then cdata "Yes" else cdata "No"}
adamc@190 3 </body></html>
adamc@190 4
adamc@190 5 val main = fn () => <html><body>
adamc@190 6 <lform>
adamc@190 7 <checkbox{#A}/> How about it?<br/>
adamc@190 8 <submit action={handler}/>
adamc@190 9 </lform>
adamc@190 10 </body></html>