annotate tests/radio.ur @ 1817:148203744882

Tweaking treatment of function application: substitute or introduce a 'let'?
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Aug 2012 14:55:28 -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>