comparison tests/radio.ur @ 1692:a1a1d66aebac

Change <radio> to yield [option string]
author Adam Chlipala <adam@chlipala.net>
date Sat, 10 Mar 2012 12:53:33 -0500
parents 71bafe66dbe1
children
comparison
equal deleted inserted replaced
1691:ea292bf9431f 1692:a1a1d66aebac
1 val handler = fn x => <html><body> 1 fun handler x = return <xml><body>
2 You entered: {cdata x.A} 2 You entered: {[case x.A of
3 </body></html> 3 None => "nothing at all"
4 | Some v => v]}
5 </body></xml>
4 6
5 val main = fn () => <html><body> 7 fun main () = return <xml><body>
6 <lform> 8 <form>
7 <radio{#A}> 9 <radio{#A}>
8 <li> <radioOption value="A"/>A</li> 10 <li><radioOption value="A"/>A</li>
9 <li> <radioOption value="B"/>B</li> 11 <li><radioOption value="B"/>B</li>
10 </radio> 12 </radio>
11 <submit action={handler}/> 13 <submit action={handler}/>
12 </lform> 14 </form>
13 </body></html> 15 </body></xml>