annotate tests/checkbox.ur @ 1555:d5c961c709f9

New client-side, document-level event handlers
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 11:48:12 -0400
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>