comparison src/monoize.sml @ 1517:27b8c0a460cf

<image>
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Jul 2011 10:51:48 -0400
parents f561025bb68e
children a99b743a3087
comparison
equal deleted inserted replaced
1516:c4f39b49aa2d 1517:27b8c0a460cf
3256 fm) 3256 fm)
3257 | _ => raise Fail "Monoize: Bad dyn attributes" 3257 | _ => raise Fail "Monoize: Bad dyn attributes"
3258 end 3258 end
3259 3259
3260 | "submit" => normal ("input type=\"submit\"", NONE, NONE) 3260 | "submit" => normal ("input type=\"submit\"", NONE, NONE)
3261 | "image" => normal ("input type=\"image\"", NONE, NONE)
3261 | "button" => normal ("input type=\"submit\"", NONE, NONE) 3262 | "button" => normal ("input type=\"submit\"", NONE, NONE)
3262 | "hidden" => input "hidden" 3263 | "hidden" => input "hidden"
3263 3264
3264 | "textbox" => 3265 | "textbox" =>
3265 (case targs of 3266 (case targs of