annotate tests/radio.ur @ 2275:ce96e166d938

Fix some table renaming issues.
author Ziv Scully <ziv@mit.edu>
date Sat, 07 Nov 2015 15:16:44 -0500
parents a1a1d66aebac
children
rev   line source
adam@1692 1 fun handler x = return <xml><body>
adam@1692 2 You entered: {[case x.A of
adam@1692 3 None => "nothing at all"
adam@1692 4 | Some v => v]}
adam@1692 5 </body></xml>
adamc@153 6
adam@1692 7 fun main () = return <xml><body>
adam@1692 8 <form>
adam@1692 9 <radio{#A}>
adam@1692 10 <li><radioOption value="A"/>A</li>
adam@1692 11 <li><radioOption value="B"/>B</li>
adam@1692 12 </radio>
adam@1692 13 <submit action={handler}/>
adam@1692 14 </form>
adam@1692 15 </body></xml>