Mercurial > urweb
comparison src/jscomp.sml @ 691:cc58941da3e2
Checking spans in dyns
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 04 Apr 2009 11:46:24 -0400 |
parents | 5bbb542243e8 |
children | 09df0c85f306 |
comparison
equal
deleted
inserted
replaced
690:01b6f2ee2ef0 | 691:cc58941da3e2 |
---|---|
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"), "uf"), | 51 (("Basis", "urlifyString"), "uf"), |
52 (("Basis", "recv"), "rv")] | 52 (("Basis", "recv"), "rv"), |
53 (("Basis", "strcat"), "cat")] | |
53 | 54 |
54 structure FM = BinaryMapFn(struct | 55 structure FM = BinaryMapFn(struct |
55 type ord_key = string * string | 56 type ord_key = string * string |
56 fun compare ((m1, x1), (m2, x2)) = | 57 fun compare ((m1, x1), (m2, x2)) = |
57 Order.join (String.compare (m1, m2), | 58 Order.join (String.compare (m1, m2), |