Mercurial > urweb
annotate tests/select.ur @ 1718:dd12d6d9e9a7
Add another rule to simplify record concatenations for pretty-printing
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 21 Apr 2012 14:06:03 -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> |