diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-09-08 10:18:19 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-08 10:18:19 -0400 |
commit | 747601bae6e91f226a2c1374ad96cef51f85617b (patch) | |
tree | 700a022259cb238d022c76cb0b6c30fb44985aed /src/monoize.sml | |
parent | 8f032c5cdc1e1efbed9782c37feca90bf9e20ca3 (diff) |
dragList almost kinda works
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 12112648..063802b3 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2576,13 +2576,13 @@ fun monoExp (env, st, fm) (all as (e, loc)) = NONE => tagStart | SOME extra => (L'.EStrcat (tagStart, extra), loc) - val xml = case extraInner of - NONE => xml - | SOME ei => (L.EFfiApp ("Basis", "strcat", [ei, xml]), loc) - fun normal () = let val (xml, fm) = monoExp (env, st, fm) xml + + val xml = case extraInner of + NONE => xml + | SOME ei => (L'.EStrcat (ei, xml), loc) in ((L'.EStrcat ((L'.EStrcat (tagStart, (L'.EPrim (Prim.String ">"), loc)), loc), (L'.EStrcat (xml, @@ -2646,7 +2646,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = [(L'.ERecord [], loc)]), loc), onload), loc)]), loc), - SOME (L.EFfiApp ("Basis", "get_script", [(L.ERecord [], loc)]), loc)) + SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc)) end | "dyn" => |