Mercurial > urweb
annotate tests/radio.ur @ 1473:d40066b38710
Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 15 Jun 2011 09:52:06 -0400 |
| parents | 71bafe66dbe1 |
| children | a1a1d66aebac |
| rev | line source |
|---|---|
| adamc@153 | 1 val handler = fn x => <html><body> |
| adamc@153 | 2 You entered: {cdata x.A} |
| adamc@153 | 3 </body></html> |
| adamc@153 | 4 |
| adamc@153 | 5 val main = fn () => <html><body> |
| adamc@153 | 6 <lform> |
| adamc@153 | 7 <radio{#A}> |
| adamc@153 | 8 <li> <radioOption value="A"/>A</li> |
| adamc@153 | 9 <li> <radioOption value="B"/>B</li> |
| adamc@153 | 10 </radio> |
| adamc@153 | 11 <submit action={handler}/> |
| adamc@153 | 12 </lform> |
| adamc@153 | 13 </body></html> |