Mercurial > urweb

comparison src/monoize.sml @ 155:4334bb734187

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Password inputs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:32:01 -0400
parents e2b185379592
children 80192edca30d
comparison
equal deleted inserted replaced
154:e2b185379592 155:4334bb734187
257 end 257 end
258 | _ => raise Fail "Non-record attributes!" 258 | _ => raise Fail "Non-record attributes!"
259 259
260 fun input typ = 260 fun input typ =
261 case targs of 261 case targs of
262 [(L.CName name, _)] => 262 [_, (L.CName name, _)] =>
263 (L'.EStrcat (tagStart "input", 263 (L'.EStrcat (tagStart "input",
264 (L'.EPrim (Prim.String (" type=\"" ^ typ ^ "\" name=\"" ^ name ^ "\"/>")), 264 (L'.EPrim (Prim.String (" type=\"" ^ typ ^ "\" name=\"" ^ name ^ "\"/>")),
265 loc)), loc) 265 loc)), loc)
266 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); 266 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
267 raise Fail "No name passed to input tag") 267 raise Fail "No name passed to input tag")
302 (L'.EStrcat (tagStart "input", 302 (L'.EStrcat (tagStart "input",
303 (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\"/>")), 303 (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\"/>")),
304 loc)), loc) 304 loc)), loc)
305 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); 305 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
306 raise Fail "No name passed to textarea tag")) 306 raise Fail "No name passed to textarea tag"))
307 | "password" => input "password"
307 | "ltextarea" => 308 | "ltextarea" =>
308 (case targs of 309 (case targs of
309 [_, (L.CName name, _)] => 310 [_, (L.CName name, _)] =>
310 (L'.EStrcat ((L'.EStrcat (tagStart "textarea", 311 (L'.EStrcat ((L'.EStrcat (tagStart "textarea",
311 (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\">")), loc)), loc), 312 (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\">")), loc)), loc),