Mercurial > urweb
view tests/radio.ur @ 1864:1aa9629e3a4c
Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 19 Aug 2013 12:25:32 -0400 |
parents | a1a1d66aebac |
children |
line wrap: on
line source
fun handler x = return <xml><body> You entered: {[case x.A of None => "nothing at all" | Some v => v]} </body></xml> fun main () = return <xml><body> <form> <radio{#A}> <li><radioOption value="A"/>A</li> <li><radioOption value="B"/>B</li> </radio> <submit action={handler}/> </form> </body></xml>