summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 15:20:13 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 15:20:13 -0500
commit16ca08fbff65b24e0b2d8318f4d2419345a4276a (patch)
tree2567582a726c1f617647ebd0bae71b1db2a454b5 /src
parent0c469622c4b22c438bafca09bc025f13b1812611 (diff)
More HTML5 AJAX widgets
Diffstat (limited to 'src')
-rw-r--r--src/monoize.sml9
-rw-r--r--src/urweb.grm1
2 files changed, 10 insertions, 0 deletions
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