Mercurial > urweb

comparison src/mono_opt.sml @ 188:8e9f97508f0d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatype representation optimization
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 19:49:21 -0400
parents fb6ed259f5bd
children 890a61991263
comparison
equal deleted inserted replaced
187:fb6ed259f5bd 188:8e9f97508f0d
183 | EWrite (EFfiApp ("Basis", "urlifyString", [(EPrim (Prim.String s), _)]), loc) => 183 | EWrite (EFfiApp ("Basis", "urlifyString", [(EPrim (Prim.String s), _)]), loc) =>
184 EWrite (EPrim (Prim.String (urlifyString s)), loc) 184 EWrite (EPrim (Prim.String (urlifyString s)), loc)
185 | EWrite (EFfiApp ("Basis", "urlifyString", [e]), _) => 185 | EWrite (EFfiApp ("Basis", "urlifyString", [e]), _) =>
186 EFfiApp ("Basis", "urlifyString_w", [e]) 186 EFfiApp ("Basis", "urlifyString_w", [e])
187 187
188 | EFfiApp ("Basis", "urlifyBool", [(ECon (PConFfi {con = "True", ...}, NONE), _)]) => 188 | EFfiApp ("Basis", "urlifyBool", [(ECon (Enum, PConFfi {con = "True", ...}, NONE), _)]) =>
189 EPrim (Prim.String "1") 189 EPrim (Prim.String "1")
190 | EFfiApp ("Basis", "urlifyBool", [(ECon (PConFfi {con = "False", ...}, NONE), _)]) => 190 | EFfiApp ("Basis", "urlifyBool", [(ECon (Enum, PConFfi {con = "False", ...}, NONE), _)]) =>
191 EPrim (Prim.String "0") 191 EPrim (Prim.String "0")
192 | EWrite (EFfiApp ("Basis", "urlifyBool", [(ECon (PConFfi {con = "True", ...}, NONE), _)]), loc) => 192 | EWrite (EFfiApp ("Basis", "urlifyBool", [(ECon (Enum, PConFfi {con = "True", ...}, NONE), _)]), loc) =>
193 EWrite (EPrim (Prim.String "1"), loc) 193 EWrite (EPrim (Prim.String "1"), loc)
194 | EWrite (EFfiApp ("Basis", "urlifyBool", [(ECon (PConFfi {con = "False", ...}, NONE), _)]), loc) => 194 | EWrite (EFfiApp ("Basis", "urlifyBool", [(ECon (Enum, PConFfi {con = "False", ...}, NONE), _)]), loc) =>
195 EWrite (EPrim (Prim.String "0"), loc) 195 EWrite (EPrim (Prim.String "0"), loc)
196 | EWrite (EFfiApp ("Basis", "urlifyBool", [e]), _) => 196 | EWrite (EFfiApp ("Basis", "urlifyBool", [e]), _) =>
197 EFfiApp ("Basis", "urlifyBool_w", [e]) 197 EFfiApp ("Basis", "urlifyBool_w", [e])
198 198
199 | EWrite (ECase (discE, pes, {disc, ...}), loc) => 199 | EWrite (ECase (discE, pes, {disc, ...}), loc) =>