comparison src/settings.sml @ 838:5154a047c6bc

Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Jun 2009 19:28:25 -0400
parents 5e1a4b12c83a
children 44c2c089ca15
comparison
equal deleted inserted replaced
837:ccf22c2c77b2 838:5154a047c6bc
129 ("htmlifyFloat", "ts"), 129 ("htmlifyFloat", "ts"),
130 ("htmlifyInt", "ts"), 130 ("htmlifyInt", "ts"),
131 ("htmlifyString", "eh"), 131 ("htmlifyString", "eh"),
132 ("new_client_source", "sc"), 132 ("new_client_source", "sc"),
133 ("set_client_source", "sv"), 133 ("set_client_source", "sv"),
134 ("stringToFloat", "pflo"),
135 ("stringToInt", "pio"),
134 ("stringToFloat_error", "pfl"), 136 ("stringToFloat_error", "pfl"),
135 ("stringToInt_error", "pi"), 137 ("stringToInt_error", "pi"),
136 ("urlifyInt", "ts"), 138 ("urlifyInt", "ts"),
137 ("urlifyFloat", "ts"), 139 ("urlifyFloat", "ts"),
138 ("urlifyString", "uf"), 140 ("urlifyString", "uf"),