From 16ca08fbff65b24e0b2d8318f4d2419345a4276a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 16 Nov 2014 15:20:13 -0500
Subject: More HTML5 AJAX widgets

---
 src/monoize.sml | 9 +++++++++
 src/urweb.grm   | 1 +
 2 files changed, 10 insertions(+)

(limited to 'src')

diff --git a/src/monoize.sml b/src/monoize.sml
index 63ae0b31..0829abc9 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -3757,6 +3757,15 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                       | "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
diff --git a/src/urweb.grm b/src/urweb.grm
index 5b568a8c..995d1329 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -223,6 +223,7 @@ fun tagIn bt =
         "table" => "tabl"
       | "url" => "url_"
       | "datetime-local" => "datetime_local"
+      | "cdatetime-local" => "cdatetime_local"
       | _ => bt
 
 datatype prop_kind = Delete | Update
-- 
cgit v1.2.3