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