annotate tests/html5_forms.ur @ 2076:855d7746a084

Remove 'value' attribute of <checkbox>
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:06:24 -0500
parents fde864eacd47
children 3cd2bd4b1de0
rev   line source
adam@2075 1 fun handler r = return <xml><body>
adam@2076 2 A: {[r.A]}<br/>
adam@2076 3 B: {[r.B]}<br/>
adam@2076 4 C: {[r.C]}<br/>
adam@2075 5 </body></xml>
adam@2075 6
adam@2075 7 fun main () =
adam@2075 8 return <xml><body>
adam@2075 9 <form>
adam@2075 10 <textbox{#A} required placeholder="bobby"/>
adam@2075 11 <textbox{#B} placeholder="soggy" autofocus/>
adam@2076 12 <checkbox{#C}/>
adam@2075 13
adam@2075 14 <submit action={handler}/>
adam@2075 15 </form>
adam@2075 16 </body></xml>