comparison src/monoize.sml @ 1835:a8b273f1f7e3

add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text'
author Adam Chlipala <adam@chlipala.net>
date Fri, 30 Nov 2012 10:02:13 -0500
parents be0c4e2e488a
children 276fa06428ba
comparison
equal deleted inserted replaced
1834:690638bd9fef 1835:a8b273f1f7e3
3600 NONE => 3600 NONE =>
3601 let 3601 let
3602 val (ts, fm) = tagStart "input" 3602 val (ts, fm) = tagStart "input"
3603 in 3603 in
3604 ((L'.EStrcat (ts, 3604 ((L'.EStrcat (ts,
3605 (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\" />")), 3605 (L'.EPrim (Prim.String (" type=\"text\" name=\"" ^ name ^ "\" />")),
3606 loc)), loc), fm) 3606 loc)), loc), fm)
3607 end 3607 end
3608 | SOME (_, src, _) => 3608 | SOME (_, src, _) =>
3609 (strcat [str "<script type=\"text/javascript\">inp(exec(", 3609 (strcat [str "<script type=\"text/javascript\">inp(exec(",
3610 (L'.EJavaScript (L'.Script, src), loc), 3610 (L'.EJavaScript (L'.Script, src), loc),
3672 NONE => 3672 NONE =>
3673 let 3673 let
3674 val (ts, fm) = tagStart "input" 3674 val (ts, fm) = tagStart "input"
3675 in 3675 in
3676 ((L'.EStrcat (ts, 3676 ((L'.EStrcat (ts,
3677 (L'.EPrim (Prim.String " />"), loc)), 3677 (L'.EPrim (Prim.String " type=\"text\" />"), loc)),
3678 loc), fm) 3678 loc), fm)
3679 end 3679 end
3680 | SOME (_, src, _) => 3680 | SOME (_, src, _) =>
3681 let 3681 let
3682 val sc = strcat [str "inp(exec(", 3682 val sc = strcat [str "inp(exec(",