summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:16:11 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:16:11 -0500
commit5f984d18d62f3290103540552a82b13c69e364df (patch)
treeff04982802ab530c999710e8cfa1ca9ecf6c1177 /src
parent17a277b007b8e545760837b1871d36df0e9deaea (diff)
More simple textual HTML5 input types
Diffstat (limited to 'src')
-rw-r--r--src/monoize.sml3
-rw-r--r--src/urweb.grm1
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