diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-11-16 15:20:13 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-11-16 15:20:13 -0500 |
| commit | f3e50f123c33c26038b601475eeaa619526ad7ab (patch) | |
| tree | 2567582a726c1f617647ebd0bae71b1db2a454b5 /src/monoize.sml | |
| parent | 049d3500132b56ac2429a8a6ee0cc5ba1fbaae5a (diff) | |
More HTML5 AJAX widgets
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 9 |
1 files changed, 9 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 |