summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-08 10:30:14 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-08 10:30:14 -0500
commit9608c763d7b2923c11e8abd29e28271ae470a5fe (patch)
treed4648aecea89bd3799de7a6ee50a6333bd967e1a /src
parent4b109c964ac7f433b4feb9d28b135dee28f75b87 (diff)
Injected a non-special-case datatype
Diffstat (limited to 'src')
-rw-r--r--src/jscomp.sml7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml
index bb457ab3..64cb1771 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -40,7 +40,7 @@ val funcs = [(("Basis", "alert"), "alert"),
(("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 @@ fun process file =
str loc "}"]
else
e
- | _ => e),
+ | _ => strcat loc [str loc ("{n:" ^ Int.toString cn
+ ^ ",v:"),
+ e,
+ str loc "}"]),
st)
end)
st cs