diff src/jscomp.sml @ 798:83875a9eb9b8

Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 10:31:11 -0400
parents dc3fc3f3b834
children e92cfac1608f
line wrap: on
line diff
--- a/src/jscomp.sml	Thu May 14 09:33:48 2009 -0400
+++ b/src/jscomp.sml	Thu May 14 10:31:11 2009 -0400
@@ -824,11 +824,11 @@
 
                                     val (e, st) = jsE inner (e', st)
                                 in
-                                    (strcat (str "("
+                                    (strcat (str "(d0="
+                                             :: e
+                                             :: str ","
                                              :: List.revAppend (cases,
-                                                                [str "d0=",
-                                                                 e,
-                                                                 str ",c0())"])), st)
+                                                                [str "c0())"])), st)
                                 end
 
                           | EStrcat (e1, e2) =>