annotate demo/form.ur @ 1677:3cfc79f92db7

-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Jan 2012 20:37:39 -0500
parents a71600cac815
children
rev   line source
adamc@406 1 fun handler r = return <xml><body>
adamc@406 2 <table>
adamc@406 3 <tr> <th>A:</th> <td>{[r.A]}</td> </tr>
adamc@406 4 <tr> <th>B:</th> <td>{[r.B]}</td> </tr>
adamc@406 5 <tr> <th>C:</th> <td>{[r.C]}</td> </tr>
adamc@406 6 </table>
adamc@406 7 </body></xml>
adamc@406 8
adamc@406 9 fun main () = return <xml><body>
adamc@406 10 <form>
adamc@406 11 <table>
adamc@406 12 <tr> <th>A:</th> <td><textbox{#A}/></td> </tr>
adamc@406 13 <tr> <th>B:</th> <td><textbox{#B}/></td> </tr>
adamc@406 14 <tr> <th>C:</th> <td><checkbox{#C}/></td> </tr>
adamc@406 15 <tr> <th/> <td><submit action={handler}/></td> </tr>
adamc@406 16 </table>
adamc@406 17 </form>
adamc@406 18 </body></xml>