annotate tests/radio.ur @ 2152:2d9e40e726f2

Adjust new [assert] to work properly from top.ur
author Adam Chlipala <adam@chlipala.net>
date Wed, 03 Jun 2015 09:55:37 -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>