annotate demo/form.ur @ 2184:1ecef02f67c5

More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Oct 2015 17:23:07 -0400
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>