comparison src/jscomp.sml @ 694:7ea0df9e56b6

spawn
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 14:55:36 -0400
parents 655bcc9b77e0
children 500e93aa436f
comparison
equal deleted inserted replaced
693:655bcc9b77e0 694:7ea0df9e56b6
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"), "uf"), 51 (("Basis", "urlifyString"), "uf"),
52 (("Basis", "recv"), "rv"), 52 (("Basis", "recv"), "rv"),
53 (("Basis", "strcat"), "cat")] 53 (("Basis", "strcat"), "cat"),
54 (("Basis", "intToString"), "ts"),
55 (("Basis", "floatToString"), "ts")]
54 56
55 structure FM = BinaryMapFn(struct 57 structure FM = BinaryMapFn(struct
56 type ord_key = string * string 58 type ord_key = string * string
57 fun compare ((m1, x1), (m2, x2)) = 59 fun compare ((m1, x1), (m2, x2)) =
58 Order.join (String.compare (m1, m2), 60 Order.join (String.compare (m1, m2),