comparison src/settings.sml @ 1360:02fc16faecf3

[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents 74d35d9a5d16
children 1595a738e4e9
comparison
equal deleted inserted replaced
1359:e525ad571e15 1360:02fc16faecf3
169 ("stringToInt", "pio"), 169 ("stringToInt", "pio"),
170 ("stringToFloat_error", "pfl"), 170 ("stringToFloat_error", "pfl"),
171 ("stringToInt_error", "pi"), 171 ("stringToInt_error", "pi"),
172 ("urlifyInt", "ts"), 172 ("urlifyInt", "ts"),
173 ("urlifyFloat", "ts"), 173 ("urlifyFloat", "ts"),
174 ("urlifyTime", "ts"),
174 ("urlifyString", "uf"), 175 ("urlifyString", "uf"),
175 ("urlifyBool", "ub"), 176 ("urlifyBool", "ub"),
176 ("recv", "rv"), 177 ("recv", "rv"),
177 ("strcat", "cat"), 178 ("strcat", "cat"),
178 ("intToString", "ts"), 179 ("intToString", "ts"),