comparison src/monoize.sml @ 2074:e48e09a1f583

HTML5 input attributes: placeholder, required, autofocus; email input type (without cformTag equivalent)
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 12 Oct 2014 10:03:36 +0000
parents 7c2229aa22fc
children 3cd2bd4b1de0
comparison
equal deleted inserted replaced
2073:1839df6ed755 2074:e48e09a1f583
3661 str "\")</script>"], 3661 str "\")</script>"],
3662 fm)) 3662 fm))
3663 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); 3663 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
3664 raise Fail "No name passed to textbox tag")) 3664 raise Fail "No name passed to textbox tag"))
3665 | "password" => input "password" 3665 | "password" => input "password"
3666 | "email" => input "email"
3666 | "textarea" => 3667 | "textarea" =>
3667 (case targs of 3668 (case targs of
3668 [_, (L.CName name, _)] => 3669 [_, (L.CName name, _)] =>
3669 let 3670 let
3670 val (ts, fm) = tagStart "textarea" 3671 val (ts, fm) = tagStart "textarea"