Mercurial > urweb
annotate tests/select.ur @ 983:2cd8c1aa0d3a
Add tail call optimization to interpretation
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 24 Sep 2009 15:45:37 -0400 |
| 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> |