Mercurial > urweb
annotate tests/select.ur @ 1310:f0909fb3848f
Simplify type of Monad.appR2
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 17 Oct 2010 13:26:11 -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> |