annotate tests/radio.ur @ 2037:cf453f48d28b

Return to working version mode
author Adam Chlipala <adam@chlipala.net>
date Fri, 04 Jul 2014 09:41:32 -0400
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>