diff src/monoize.sml @ 155:4334bb734187

Password inputs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:32:01 -0400
parents e2b185379592
children 80192edca30d
line wrap: on
line diff
--- a/src/monoize.sml	Thu Jul 24 11:16:54 2008 -0400
+++ b/src/monoize.sml	Thu Jul 24 11:32:01 2008 -0400
@@ -259,7 +259,7 @@
 
                 fun input typ =
                     case targs of
-                        [(L.CName name, _)] =>
+                        [_, (L.CName name, _)] =>
                         (L'.EStrcat (tagStart "input",
                                      (L'.EPrim (Prim.String (" type=\"" ^ typ ^ "\" name=\"" ^ name ^ "\"/>")),
                                       loc)), loc)
@@ -304,6 +304,7 @@
                                        loc)), loc)
                        | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
                                raise Fail "No name passed to textarea tag"))
+                  | "password" => input "password"
                   | "ltextarea" =>
                     (case targs of
                          [_, (L.CName name, _)] =>