diff 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
line wrap: on
line diff
--- a/src/monoize.sml	Tue Sep 08 07:48:57 2009 -0400
+++ b/src/monoize.sml	Tue Sep 08 10:18:19 2009 -0400
@@ -2576,13 +2576,13 @@
                                            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 @@
                                                                              [(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" =>