More simple textual HTML5 input types

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