diff src/monoize.sml @ 2080:f05fcb206571

More HTML5 AJAX widgets
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 15:20:13 -0500
parents e1879ded8095
children 0d48cfb59b29 794017f378de
line wrap: on
line diff
--- a/src/monoize.sml	Sun Nov 16 15:03:29 2014 -0500
+++ b/src/monoize.sml	Sun Nov 16 15:20:13 2014 -0500
@@ -3757,6 +3757,15 @@
                       | "ctel" => cinput ("tel", "tel")
                       | "ccolor" => cinput ("color", "color")
 
+                      | "cnumber" => cinput ("number", "number")
+                      | "crange" => cinput ("range", "range")
+                      | "cdate" => cinput ("date", "date")
+                      | "cdatetime" => cinput ("datetime", "datetime")
+                      | "cdatetime_local" => cinput ("datetime-local", "datetime_local")
+                      | "cmonth" => cinput ("month", "month")
+                      | "cweek" => cinput ("week", "week")
+                      | "ctime" => cinput ("time", "time")
+
                       | "ccheckbox" => cinput ("checkbox", "chk")
                       | "cselect" =>
 			(case List.find (fn ("Source", _, _) => true | _ => false) attrs of