Ur/Web: tests/html5_forms.ur annotate

Fix a read-after-free bug using a timestamp check

author	Adam Chlipala <adam@chlipala.net>
date	Thu, 19 Nov 2015 13:18:58 -0500
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>

Mercurial > urweb