Mercurial > urweb

comparison src/monoize.sml @ 190:3eb53c957d10

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checkboxes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Aug 2008 13:09:26 -0400
parents 8e9f97508f0d
children 9bbf4d383381
comparison
equal deleted inserted replaced
189:20bf7487c370 190:3eb53c957d10
516 loc)), loc)), 516 loc)), loc)),
517 loc), fm) 517 loc), fm)
518 end 518 end
519 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); 519 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
520 raise Fail "No name passed to ltextarea tag")) 520 raise Fail "No name passed to ltextarea tag"))
521
522 | "checkbox" => input "checkbox"
521 523
522 | "radio" => 524 | "radio" =>
523 (case targs of 525 (case targs of
524 [_, (L.CName name, _)] => 526 [_, (L.CName name, _)] =>
525 monoExp (env, St.setRadioGroup (st, name), fm) xml 527 monoExp (env, St.setRadioGroup (st, name), fm) xml