comparison src/monoize.sml @ 1646:ca3b73a7b4d0

Get a few more source files up-to-date with change to [tag] type
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Dec 2011 18:05:27 -0500
parents b0720700c36e
children dfc854e478bb
comparison
equal deleted inserted replaced
1645:b71cc5ec59b3 1646:ca3b73a7b4d0
3499 | "tabl" => normal ("table", NONE, NONE) 3499 | "tabl" => normal ("table", NONE, NONE)
3500 | _ => normal (tag, NONE, NONE) 3500 | _ => normal (tag, NONE, NONE)
3501 in 3501 in
3502 case #1 dynClass of 3502 case #1 dynClass of
3503 L'.ENone _ => baseAll 3503 L'.ENone _ => baseAll
3504 | _ => (strcat [str "<script type=\"text/javascript\">dynClass(execD(", 3504 | L'.ESome (_, dc) => (strcat [str "<script type=\"text/javascript\">dynClass(execD(",
3505 (L'.EJavaScript (L'.Script, base), loc), 3505 (L'.EJavaScript (L'.Script, base), loc),
3506 str "),execD(", 3506 str "),execD(",
3507 (L'.EJavaScript (L'.Script, dynClass), loc), 3507 (L'.EJavaScript (L'.Script, dc), loc),
3508 str "))</script>"], 3508 str "))</script>"],
3509 fm) 3509 fm)
3510 | _ => (E.errorAt loc "Absence/presence of 'dynClass' unknown";
3511 baseAll)
3510 end 3512 end
3511 3513
3512 | L.EApp ( 3514 | L.EApp (
3513 (L.EApp ((L.ECApp ( 3515 (L.EApp ((L.ECApp (
3514 (L.ECApp ((L.EFfi ("Basis", "form"), _), _), _), 3516 (L.ECApp ((L.EFfi ("Basis", "form"), _), _), _),
3539 | _ => Error) 3541 | _ => Error)
3540 | L.EApp ( 3542 | L.EApp (
3541 (L.EApp ( 3543 (L.EApp (
3542 (L.EApp ( 3544 (L.EApp (
3543 (L.EApp ( 3545 (L.EApp (
3544 (L.ECApp ( 3546 (L.EApp (
3545 (L.ECApp ( 3547 (L.ECApp (
3546 (L.ECApp ( 3548 (L.ECApp (
3547 (L.ECApp ( 3549 (L.ECApp (
3548 (L.ECApp ( 3550 (L.ECApp (
3549 (L.ECApp ( 3551 (L.ECApp (
3550 (L.ECApp ( 3552 (L.ECApp (
3551 (L.ECApp ( 3553 (L.ECApp (
3552 (L.EFfi ("Basis", "tag"), 3554 (L.ECApp (
3553 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), 3555 (L.EFfi ("Basis", "tag"),
3556 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
3557 _), _),
3554 _), _), 3558 _), _),
3555 attrs), _), 3559 attrs), _),
3556 _), _), 3560 _), _),
3557 xml) => 3561 xml) =>
3558 (case #1 attrs of 3562 (case #1 attrs of