Mercurial > urweb
annotate tests/select.ur @ 521:31aba58a5b5b
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 | fe018cbdd41e |
| children |
| rev | line source |
|---|---|
| adamc@372 | 1 val handler = fn x => <xml><body> |
| adamc@154 | 2 You entered: {cdata x.A} |
| adamc@372 | 3 </body></xml> |
| adamc@154 | 4 |
| adamc@372 | 5 val main = fn () => <xml><body> |
| adamc@372 | 6 <form> |
| adamc@372 | 7 <select{#A}> |
| adamc@372 | 8 <option value="A">A</option> |
| adamc@372 | 9 <option value="B">B</option> |
| adamc@372 | 10 </select> |
| adamc@154 | 11 <submit action={handler}/> |
| adamc@372 | 12 </form> |
| adamc@372 | 13 </body></xml> |