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