comparison src/jscomp.sml @ 668:b0c1a46b1f15

First message send delivered, but not interpreted
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 15:05:07 -0400
parents bab524996fca
children f73913d97a40
comparison
equal deleted inserted replaced
667:a93d5324f400 668:b0c1a46b1f15
46 (("Basis", "set_client_source"), "sv"), 46 (("Basis", "set_client_source"), "sv"),
47 (("Basis", "stringToFloat_error"), "pfl"), 47 (("Basis", "stringToFloat_error"), "pfl"),
48 (("Basis", "stringToInt_error"), "pi"), 48 (("Basis", "stringToInt_error"), "pi"),
49 (("Basis", "urlifyInt"), "ts"), 49 (("Basis", "urlifyInt"), "ts"),
50 (("Basis", "urlifyFloat"), "ts"), 50 (("Basis", "urlifyFloat"), "ts"),
51 (("Basis", "urlifyString"), "escape")] 51 (("Basis", "urlifyString"), "escape"),
52 (("Basis", "urlifyChannel"), "ts")]
52 53
53 structure FM = BinaryMapFn(struct 54 structure FM = BinaryMapFn(struct
54 type ord_key = string * string 55 type ord_key = string * string
55 fun compare ((m1, x1), (m2, x2)) = 56 fun compare ((m1, x1), (m2, x2)) =
56 Order.join (String.compare (m1, m2), 57 Order.join (String.compare (m1, m2),
214 end 215 end
215 216
216 | TFfi ("Basis", "string") => ((EFfiApp ("Basis", "jsifyString", [e]), loc), st) 217 | TFfi ("Basis", "string") => ((EFfiApp ("Basis", "jsifyString", [e]), loc), st)
217 | TFfi ("Basis", "int") => ((EFfiApp ("Basis", "htmlifyInt", [e]), loc), st) 218 | TFfi ("Basis", "int") => ((EFfiApp ("Basis", "htmlifyInt", [e]), loc), st)
218 | TFfi ("Basis", "float") => ((EFfiApp ("Basis", "htmlifyFloat", [e]), loc), st) 219 | TFfi ("Basis", "float") => ((EFfiApp ("Basis", "htmlifyFloat", [e]), loc), st)
220 | TFfi ("Basis", "channel") => ((EFfiApp ("Basis", "htmlifyChannel", [e]), loc), st)
219 221
220 | TFfi ("Basis", "bool") => ((ECase (e, 222 | TFfi ("Basis", "bool") => ((ECase (e,
221 [((PCon (Enum, PConFfi {mod = "Basis", 223 [((PCon (Enum, PConFfi {mod = "Basis",
222 datatyp = "bool", 224 datatyp = "bool",
223 con = "True", 225 con = "True",