Mercurial > urweb
annotate tests/html5_forms.ur @ 2195:18e6fb487880
Reduce: add reduction in some spots previously missed, associated with 'case' return types
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 25 Nov 2015 18:48:17 -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> |