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 | 16ca08fbff65b24e0b2d8318f4d2419345a4276a (patch) | |
| tree | 2567582a726c1f617647ebd0bae71b1db2a454b5 /src | |
| parent | 0c469622c4b22c438bafca09bc025f13b1812611 (diff) | |
More HTML5 AJAX widgets
Diffstat (limited to 'src')
| -rw-r--r-- | src/monoize.sml | 9 | ||||
| -rw-r--r-- | src/urweb.grm | 1 |
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 |