Ur/Web: demo/form.ur annotate

Ditch use of ElabEnv.env in Especialize, to realize big speed-up

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 27 Nov 2008 12:34:44 -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>

Mercurial > urweb