From 5f984d18d62f3290103540552a82b13c69e364df Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 16 Nov 2014 14:16:11 -0500
Subject: More simple textual HTML5 input types

---
 src/monoize.sml | 3 +++
 src/urweb.grm   | 1 +
 2 files changed, 4 insertions(+)

(limited to 'src')

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
-- 
cgit v1.2.3