diff src/monoize.sml @ 2078:6d126af2e1cb

Some more HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:39:38 -0500
parents 3cd2bd4b1de0
children e1879ded8095
line wrap: on
line diff
--- a/src/monoize.sml	Sun Nov 16 14:16:11 2014 -0500
+++ b/src/monoize.sml	Sun Nov 16 14:39:38 2014 -0500
@@ -3667,6 +3667,15 @@
                       | "search" => input "search"
                       | "url_" => input "url"
                       | "tel" => input "tel"
+                      | "color" => input "color"
+                      | "number" => input "number"
+                      | "range" => input "range"
+                      | "date" => input "date"
+                      | "datetime" => input "datetime"
+                      | "datetime_local" => input "datetime-local"
+                      | "month" => input "month"
+                      | "week" => input "week"
+                      | "timeInput" => input "time"
                       | "textarea" =>
 			(case targs of
                              [_, (L.CName name, _)] =>