Mercurial > urweb

comparison src/mono_opt.sml @ 436:024478c34f4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
time type
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 14:36:48 -0400
parents 5ccb1c6412e4
children 1bd575eb2d1e
comparison
equal deleted inserted replaced
435:f7b25375c0cf 436:024478c34f4d
195 e), _)]) => 195 e), _)]) =>
196 EFfiApp ("Basis", "htmlifyBool", [e]) 196 EFfiApp ("Basis", "htmlifyBool", [e])
197 | EWrite (EFfiApp ("Basis", "htmlifyBool", [e]), _) => 197 | EWrite (EFfiApp ("Basis", "htmlifyBool", [e]), _) =>
198 EFfiApp ("Basis", "htmlifyBool_w", [e]) 198 EFfiApp ("Basis", "htmlifyBool_w", [e])
199 199
200 | EFfiApp ("Basis", "htmlifyString", [(EApp ((EFfi ("Basis", "timeToString"), _), e), _)]) =>
201 EFfiApp ("Basis", "htmlifyTime", [e])
202 | EFfiApp ("Basis", "htmlifyString_w", [(EApp ((EFfi ("Basis", "timeToString"), _), e), _)]) =>
203 EFfiApp ("Basis", "htmlifyTime_w", [e])
204 | EWrite (EFfiApp ("Basis", "htmlifyTime", [e]), _) =>
205 EFfiApp ("Basis", "htmlifyTime_w", [e])
206
200 | EFfiApp ("Basis", "htmlifyString", [(EPrim (Prim.String s), _)]) => 207 | EFfiApp ("Basis", "htmlifyString", [(EPrim (Prim.String s), _)]) =>
201 EPrim (Prim.String (htmlifyString s)) 208 EPrim (Prim.String (htmlifyString s))
202 | EWrite (EFfiApp ("Basis", "htmlifyString", [(EPrim (Prim.String s), _)]), loc) => 209 | EWrite (EFfiApp ("Basis", "htmlifyString", [(EPrim (Prim.String s), _)]), loc) =>
203 EWrite (EPrim (Prim.String (htmlifyString s)), loc) 210 EWrite (EPrim (Prim.String (htmlifyString s)), loc)
204 | EWrite (EFfiApp ("Basis", "htmlifyString", [e]), _) => 211 | EWrite (EFfiApp ("Basis", "htmlifyString", [e]), _) =>