comparison src/monoize.sml @ 2078:6d126af2e1cb

Some more HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:39:38 -0500
parents 3cd2bd4b1de0
children e1879ded8095
comparison
equal deleted inserted replaced
2077:3cd2bd4b1de0 2078:6d126af2e1cb
3665 | "password" => input "password" 3665 | "password" => input "password"
3666 | "email" => input "email" 3666 | "email" => input "email"
3667 | "search" => input "search" 3667 | "search" => input "search"
3668 | "url_" => input "url" 3668 | "url_" => input "url"
3669 | "tel" => input "tel" 3669 | "tel" => input "tel"
3670 | "color" => input "color"
3671 | "number" => input "number"
3672 | "range" => input "range"
3673 | "date" => input "date"
3674 | "datetime" => input "datetime"
3675 | "datetime_local" => input "datetime-local"
3676 | "month" => input "month"
3677 | "week" => input "week"
3678 | "timeInput" => input "time"
3670 | "textarea" => 3679 | "textarea" =>
3671 (case targs of 3680 (case targs of
3672 [_, (L.CName name, _)] => 3681 [_, (L.CName name, _)] =>
3673 let 3682 let
3674 val (ts, fm) = tagStart "textarea" 3683 val (ts, fm) = tagStart "textarea"