comparison src/monoize.sml @ 761:16b34dc2e29c

<input type='hidden'>
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 14:48:23 -0400
parents 8323c1beef2e
children 7f653298dd66
comparison
equal deleted inserted replaced
760:21f6d2e65685 761:16b34dc2e29c
2531 fm) 2531 fm)
2532 | _ => raise Fail "Monoize: Bad dyn attributes") 2532 | _ => raise Fail "Monoize: Bad dyn attributes")
2533 2533
2534 | "submit" => normal ("input type=\"submit\"", NONE, NONE) 2534 | "submit" => normal ("input type=\"submit\"", NONE, NONE)
2535 | "button" => normal ("input type=\"submit\"", NONE, NONE) 2535 | "button" => normal ("input type=\"submit\"", NONE, NONE)
2536 | "hidden" => input "hidden"
2536 2537
2537 | "textbox" => 2538 | "textbox" =>
2538 (case targs of 2539 (case targs of
2539 [_, (L.CName name, _)] => 2540 [_, (L.CName name, _)] =>
2540 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of 2541 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of