comparison 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
comparison
equal deleted inserted replaced
596:d1ec54288b1a 597:d49d58a69877
38 38
39 val funcs = [(("Basis", "alert"), "alert"), 39 val funcs = [(("Basis", "alert"), "alert"),
40 (("Basis", "htmlifyBool"), "bs"), 40 (("Basis", "htmlifyBool"), "bs"),
41 (("Basis", "htmlifyFloat"), "ts"), 41 (("Basis", "htmlifyFloat"), "ts"),
42 (("Basis", "htmlifyInt"), "ts"), 42 (("Basis", "htmlifyInt"), "ts"),
43 (("Basis", "htmlifyString"), "escape"), 43 (("Basis", "htmlifyString"), "eh"),
44 (("Basis", "new_client_source"), "sc"), 44 (("Basis", "new_client_source"), "sc"),
45 (("Basis", "set_client_source"), "sv")] 45 (("Basis", "set_client_source"), "sv")]
46 46
47 structure FM = BinaryMapFn(struct 47 structure FM = BinaryMapFn(struct
48 type ord_key = string * string 48 type ord_key = string * string
272 strcat loc [str loc "{_v:", 272 strcat loc [str loc "{_v:",
273 e, 273 e,
274 str loc "}"] 274 str loc "}"]
275 else 275 else
276 e 276 e
277 | _ => e), 277 | _ => strcat loc [str loc ("{n:" ^ Int.toString cn
278 ^ ",v:"),
279 e,
280 str loc "}"]),
278 st) 281 st)
279 end) 282 end)
280 st cs 283 st cs
281 284
282 val s = (TFfi ("Basis", "string"), loc) 285 val s = (TFfi ("Basis", "string"), loc)