comparison src/monoize.sml @ 916:b873feb3eb52

dragList almost kinda works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 10:18:19 -0400
parents 8e540df3294d
children 358fca527886
comparison
equal deleted inserted replaced
915:5e8b6fa5b48f 916:b873feb3eb52
2574 val (tagStart, fm) = tagStart tag 2574 val (tagStart, fm) = tagStart tag
2575 val tagStart = case extra of 2575 val tagStart = case extra of
2576 NONE => tagStart 2576 NONE => tagStart
2577 | SOME extra => (L'.EStrcat (tagStart, extra), loc) 2577 | SOME extra => (L'.EStrcat (tagStart, extra), loc)
2578 2578
2579 val xml = case extraInner of
2580 NONE => xml
2581 | SOME ei => (L.EFfiApp ("Basis", "strcat", [ei, xml]), loc)
2582
2583 fun normal () = 2579 fun normal () =
2584 let 2580 let
2585 val (xml, fm) = monoExp (env, st, fm) xml 2581 val (xml, fm) = monoExp (env, st, fm) xml
2582
2583 val xml = case extraInner of
2584 NONE => xml
2585 | SOME ei => (L'.EStrcat (ei, xml), loc)
2586 in 2586 in
2587 ((L'.EStrcat ((L'.EStrcat (tagStart, (L'.EPrim (Prim.String ">"), loc)), loc), 2587 ((L'.EStrcat ((L'.EStrcat (tagStart, (L'.EPrim (Prim.String ">"), loc)), loc),
2588 (L'.EStrcat (xml, 2588 (L'.EStrcat (xml,
2589 (L'.EPrim (Prim.String (String.concat ["</", tag, ">"])), 2589 (L'.EPrim (Prim.String (String.concat ["</", tag, ">"])),
2590 loc)), loc)), 2590 loc)), loc)),
2644 SOME (L'.EFfiApp ("Basis", "maybe_onload", 2644 SOME (L'.EFfiApp ("Basis", "maybe_onload",
2645 [(L'.EStrcat ((L'.EFfiApp ("Basis", "get_settings", 2645 [(L'.EStrcat ((L'.EFfiApp ("Basis", "get_settings",
2646 [(L'.ERecord [], loc)]), loc), 2646 [(L'.ERecord [], loc)]), loc),
2647 onload), loc)]), 2647 onload), loc)]),
2648 loc), 2648 loc),
2649 SOME (L.EFfiApp ("Basis", "get_script", [(L.ERecord [], loc)]), loc)) 2649 SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc))
2650 end 2650 end
2651 2651
2652 | "dyn" => 2652 | "dyn" =>
2653 let 2653 let
2654 fun inTag tag = case targs of 2654 fun inTag tag = case targs of