Mercurial > urweb

comparison src/monoize.sml @ 2077:3cd2bd4b1de0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More simple textual HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:16:11 -0500
parents e48e09a1f583
children 6d126af2e1cb
comparison
equal deleted inserted replaced
2076:855d7746a084 2077:3cd2bd4b1de0
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 | "email" => input "email"
3667 | "search" => input "search"
3668 | "url_" => input "url"
3669 | "tel" => input "tel"
3667 | "textarea" => 3670 | "textarea" =>
3668 (case targs of 3671 (case targs of
3669 [_, (L.CName name, _)] => 3672 [_, (L.CName name, _)] =>
3670 let 3673 let
3671 val (ts, fm) = tagStart "textarea" 3674 val (ts, fm) = tagStart "textarea"