diff src/jscomp.sml @ 597:d49d58a69877

Injected a non-special-case datatype
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Jan 2009 10:30:14 -0500
parents d1ec54288b1a
children 7c3c21eb5b4c
line wrap: on
line diff
--- a/src/jscomp.sml	Thu Jan 08 10:15:45 2009 -0500
+++ b/src/jscomp.sml	Thu Jan 08 10:30:14 2009 -0500
@@ -40,7 +40,7 @@
              (("Basis", "htmlifyBool"), "bs"),
              (("Basis", "htmlifyFloat"), "ts"),
              (("Basis", "htmlifyInt"), "ts"),
-             (("Basis", "htmlifyString"), "escape"),
+             (("Basis", "htmlifyString"), "eh"),
              (("Basis", "new_client_source"), "sc"),
              (("Basis", "set_client_source"), "sv")]
 
@@ -274,7 +274,10 @@
                                                                            str loc "}"]
                                                            else
                                                                e
-                                                         | _ => e),
+                                                         | _ => strcat loc [str loc ("{n:" ^ Int.toString cn
+                                                                                     ^ ",v:"),
+                                                                            e,
+                                                                            str loc "}"]),
                                                       st)
                                                  end)
                                              st cs