Mercurial > urweb

comparison src/monoize.sml @ 154:e2b185379592

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
HTML select
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:16:54 -0400
parents cfe6f9db74aa
children 4334bb734187
comparison
equal deleted inserted replaced
153:cfe6f9db74aa 154:e2b185379592
326 (case St.radioGroup st of 326 (case St.radioGroup st of
327 NONE => raise Fail "No name for radioGroup" 327 NONE => raise Fail "No name for radioGroup"
328 | SOME name => 328 | SOME name =>
329 normal ("input", 329 normal ("input",
330 SOME (L'.EPrim (Prim.String (" type=\"radio\" name=\"" ^ name ^ "\"")), loc))) 330 SOME (L'.EPrim (Prim.String (" type=\"radio\" name=\"" ^ name ^ "\"")), loc)))
331
332 | "lselect" =>
333 (case targs of
334 [_, (L.CName name, _)] =>
335 (L'.EStrcat ((L'.EStrcat (tagStart "select",
336 (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\">")), loc)), loc),
337 (L'.EStrcat (monoExp (env, st) xml,
338 (L'.EPrim (Prim.String "</select>"),
339 loc)), loc)),
340 loc)
341 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
342 raise Fail "No name passed to lselect tag"))
343
344 | "loption" => normal ("option", NONE)
331 345
332 | _ => normal (tag, NONE) 346 | _ => normal (tag, NONE)
333 end 347 end
334 348
335 | L.EApp ((L.ECApp ( 349 | L.EApp ((L.ECApp (