changeset 155:4334bb734187

Password inputs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:32:01 -0400 (2008-07-24)
parents e2b185379592
children 34ccd7d2bea8
files lib/basis.lig src/monoize.sml tests/pass.lac
diffstat 3 files changed, 16 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lib/basis.lig	Thu Jul 24 11:16:54 2008 -0400
+++ b/lib/basis.lig	Thu Jul 24 11:32:01 2008 -0400
@@ -66,6 +66,7 @@
         -> nm :: Name -> unit
         -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty]
 val textbox : lformTag string [] []
+val password : lformTag string [] []
 val ltextarea : lformTag string [] []
 
 con radio = [Body, Radio]
--- 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, _)] =>
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/pass.lac	Thu Jul 24 11:32:01 2008 -0400
@@ -0,0 +1,13 @@
+val handler = fn r => <html><body>
+        <li> Name: {cdata r.Nam}</li>
+        <li> Password: {cdata r.Word}</li>
+</body></html>
+
+val main : unit -> page = fn () => <html><body>
+        <lform>
+                Name: <textbox{#Nam} /><br/>
+                Password: <password{#Word} /><br/>
+
+                <submit action={handler}/>
+        </lform>
+</body></html>