annotate tests/radio.ur @ 1714:d6c45026240d

Do a lot more type simplification for error messages
author Adam Chlipala <adam@chlipala.net>
date Mon, 16 Apr 2012 09:46:42 -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>