Mercurial > urweb

comparison src/monoize.sml @ 361:260b680a6a04

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lform -> form
author Adam Chlipala <adamc@hcoop.net>
date Tue, 14 Oct 2008 16:41:48 -0400
parents 58eeeb3cbf40
children 1195f6e4d208
comparison
equal deleted inserted replaced
360:c1e96b387115 361:260b680a6a04
1359 loc)), loc), fm) 1359 loc)), loc), fm)
1360 end 1360 end
1361 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); 1361 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
1362 raise Fail "No name passed to textarea tag")) 1362 raise Fail "No name passed to textarea tag"))
1363 | "password" => input "password" 1363 | "password" => input "password"
1364 | "ltextarea" => 1364 | "textarea" =>
1365 (case targs of 1365 (case targs of
1366 [_, (L.CName name, _)] => 1366 [_, (L.CName name, _)] =>
1367 let 1367 let
1368 val (ts, fm) = tagStart "textarea" 1368 val (ts, fm) = tagStart "textarea"
1369 val (xml, fm) = monoExp (env, st, fm) xml 1369 val (xml, fm) = monoExp (env, st, fm) xml
1391 NONE => raise Fail "No name for radioGroup" 1391 NONE => raise Fail "No name for radioGroup"
1392 | SOME name => 1392 | SOME name =>
1393 normal ("input", 1393 normal ("input",
1394 SOME (L'.EPrim (Prim.String (" type=\"radio\" name=\"" ^ name ^ "\"")), loc))) 1394 SOME (L'.EPrim (Prim.String (" type=\"radio\" name=\"" ^ name ^ "\"")), loc)))
1395 1395
1396 | "lselect" => 1396 | "select" =>
1397 (case targs of 1397 (case targs of
1398 [_, (L.CName name, _)] => 1398 [_, (L.CName name, _)] =>
1399 let 1399 let
1400 val (ts, fm) = tagStart "select" 1400 val (ts, fm) = tagStart "select"
1401 val (xml, fm) = monoExp (env, st, fm) xml 1401 val (xml, fm) = monoExp (env, st, fm) xml
1409 fm) 1409 fm)
1410 end 1410 end
1411 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); 1411 | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
1412 raise Fail "No name passed to lselect tag")) 1412 raise Fail "No name passed to lselect tag"))
1413 1413
1414 | "loption" => normal ("option", NONE) 1414 | "option" => normal ("option", NONE)
1415 1415
1416 | "tabl" => normal ("table", NONE) 1416 | "tabl" => normal ("table", NONE)
1417 | _ => normal (tag, NONE) 1417 | _ => normal (tag, NONE)
1418 end 1418 end
1419 1419
1420 | L.EApp ((L.ECApp ( 1420 | L.EApp ((L.ECApp (
1421 (L.ECApp ((L.EFfi ("Basis", "lform"), _), _), _), 1421 (L.ECApp ((L.EFfi ("Basis", "form"), _), _), _),
1422 _), _), 1422 _), _),
1423 xml) => 1423 xml) =>
1424 let 1424 let
1425 fun findSubmit (e, _) = 1425 fun findSubmit (e, _) =
1426 case e of 1426 case e of