diff tests/html5_forms.ur @ 2077:3cd2bd4b1de0

More simple textual HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:16:11 -0500
parents 855d7746a084
children 6d126af2e1cb
line wrap: on
line diff
--- a/tests/html5_forms.ur	Sun Nov 16 14:06:24 2014 -0500
+++ b/tests/html5_forms.ur	Sun Nov 16 14:16:11 2014 -0500
@@ -2,6 +2,10 @@
   A: {[r.A]}<br/>
   B: {[r.B]}<br/>
   C: {[r.C]}<br/>
+  D: {[r.D]}<br/>
+  E: {[r.E]}<br/>
+  F: {[r.F]}<br/>
+  G: {[r.G]}<br/>
 </body></xml>
 
 fun main () =
@@ -10,6 +14,10 @@
         <textbox{#A} required placeholder="bobby"/>
         <textbox{#B} placeholder="soggy" autofocus/>
         <checkbox{#C}/>
+        <email{#D}/>
+        <url{#E}/>
+        <tel{#F}/>
+        <search{#G}/>
 
         <submit action={handler}/>
       </form>