annotate tests/html5_forms.ur @ 2149:854d7ba67a59

Remove duplicate lexer line
author Adam Chlipala <adam@chlipala.net>
date Thu, 28 May 2015 10:28:15 -0400
parents 6d126af2e1cb
children
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@2077 5 D: {[r.D]}<br/>
adam@2077 6 E: {[r.E]}<br/>
adam@2077 7 F: {[r.F]}<br/>
adam@2077 8 G: {[r.G]}<br/>
adam@2078 9 H: {[r.H]}<br/>
adam@2078 10 I: {[r.I]}<br/>
adam@2078 11 J: {[r.J]}<br/>
adam@2078 12 K: {[r.K]}<br/>
adam@2078 13 L: {[r.L]}<br/>
adam@2078 14 M: {[r.M]}<br/>
adam@2078 15 N: {[r.N]}<br/>
adam@2078 16 O: {[r.O]}<br/>
adam@2078 17 P: {[r.P]}<br/>
adam@2075 18 </body></xml>
adam@2075 19
adam@2075 20 fun main () =
adam@2075 21 return <xml><body>
adam@2075 22 <form>
adam@2075 23 <textbox{#A} required placeholder="bobby"/>
adam@2075 24 <textbox{#B} placeholder="soggy" autofocus/>
adam@2076 25 <checkbox{#C}/>
adam@2077 26 <email{#D}/>
adam@2077 27 <url{#E}/>
adam@2077 28 <tel{#F}/>
adam@2077 29 <search{#G}/>
adam@2075 30
adam@2078 31 <hr/>
adam@2078 32
adam@2078 33 <color{#H}/>
adam@2078 34 <number{#I} min={17.0} max={32.8} value={20.6} step={2.5}/>
adam@2078 35 <range{#J} min={17.0} max={32.8} value={20.6}/>
adam@2078 36 <date{#K}/>
adam@2078 37 <datetime{#L}/>
adam@2078 38 <datetime-local{#M}/>
adam@2078 39 <month{#N}/>
adam@2078 40 <week{#O}/>
adam@2078 41 <timeInput{#P}/>
adam@2078 42
adam@2075 43 <submit action={handler}/>
adam@2075 44 </form>
adam@2075 45 </body></xml>