diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-11-16 14:16:11 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-11-16 14:16:11 -0500 |
| commit | 5f984d18d62f3290103540552a82b13c69e364df (patch) | |
| tree | ff04982802ab530c999710e8cfa1ca9ecf6c1177 /src | |
| parent | 17a277b007b8e545760837b1871d36df0e9deaea (diff) | |
More simple textual HTML5 input types
Diffstat (limited to 'src')
| -rw-r--r-- | src/monoize.sml | 3 | ||||
| -rw-r--r-- | src/urweb.grm | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index cc5395f0..96323c9e 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -3664,6 +3664,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) = raise Fail "No name passed to textbox tag")) | "password" => input "password" | "email" => input "email" + | "search" => input "search" + | "url_" => input "url" + | "tel" => input "tel" | "textarea" => (case targs of [_, (L.CName name, _)] => diff --git a/src/urweb.grm b/src/urweb.grm index 240f64cb..85e5f092 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -221,6 +221,7 @@ val inDml = ref false fun tagIn bt = case bt of "table" => "tabl" + | "url" => "url_" | _ => bt datatype prop_kind = Delete | Update |