comparison src/monoize.sml @ 2020:924e2ef31f5a

Remove special treatment of <button>
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Jun 2014 18:26:03 -0400
parents 2b2d07946e65
children 73e54a6aba79
comparison
equal deleted inserted replaced
2019:79a2f3468e46 2020:924e2ef31f5a
3648 fm) 3648 fm)
3649 | _ => raise Fail "Monoize: Bad <script> attributes") 3649 | _ => raise Fail "Monoize: Bad <script> attributes")
3650 3650
3651 | "submit" => normal ("input type=\"submit\"", NONE) 3651 | "submit" => normal ("input type=\"submit\"", NONE)
3652 | "image" => normal ("input type=\"image\"", NONE) 3652 | "image" => normal ("input type=\"image\"", NONE)
3653 | "button" => normal ("input type=\"submit\"", NONE)
3654 | "hidden" => input "hidden" 3653 | "hidden" => input "hidden"
3655 3654
3656 | "textbox" => 3655 | "textbox" =>
3657 (case targs of 3656 (case targs of
3658 [_, (L.CName name, _)] => 3657 [_, (L.CName name, _)] =>