Mercurial > urweb
annotate tests/select.ur @ 495:98f85c1bc867
Fix type calculation for applying-a-case optimization
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 11 Nov 2008 20:24:55 -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> |