aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:39:38 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:39:38 -0500
commit86df1742d90c9ae13843188c0772554ed2eaa666 (patch)
tree0d0ee3699880632ea91cb7e09112789d51bc1aa7 /src/monoize.sml
parent5f984d18d62f3290103540552a82b13c69e364df (diff)
Some more HTML5 input types
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 96323c9e..9ca21058 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -3667,6 +3667,15 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
| "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, _)] =>