Mercurial > urweb
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