Mercurial > urweb

comparison src/mono_opt.sml @ 196:890a61991263

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lists all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:48:32 -0400
parents 8e9f97508f0d
children 7f6620853c36
comparison
equal deleted inserted replaced
195:85b5f663bb86 196:890a61991263
133 (optExp (EWrite e2, loc), loc)) 133 (optExp (EWrite e2, loc), loc))
134 134
135 | ESeq ((EWrite (EPrim (Prim.String s1), _), loc), 135 | ESeq ((EWrite (EPrim (Prim.String s1), _), loc),
136 (EWrite (EPrim (Prim.String s2), _), _)) => 136 (EWrite (EPrim (Prim.String s2), _), _)) =>
137 EWrite (EPrim (Prim.String (s1 ^ s2)), loc) 137 EWrite (EPrim (Prim.String (s1 ^ s2)), loc)
138 | ESeq ((EWrite (EPrim (Prim.String s1), _), loc),
139 (ESeq ((EWrite (EPrim (Prim.String s2), _), _),
140 e), _)) =>
141 ESeq ((EWrite (EPrim (Prim.String (s1 ^ s2)), loc), loc),
142 e)
138 143
139 | EFfiApp ("Basis", "htmlifyString", [(EPrim (Prim.String s), _)]) => 144 | EFfiApp ("Basis", "htmlifyString", [(EPrim (Prim.String s), _)]) =>
140 EPrim (Prim.String (htmlifyString s)) 145 EPrim (Prim.String (htmlifyString s))
141 | EWrite (EFfiApp ("Basis", "htmlifyString", [(EPrim (Prim.String s), _)]), loc) => 146 | EWrite (EFfiApp ("Basis", "htmlifyString", [(EPrim (Prim.String s), _)]), loc) =>
142 EWrite (EPrim (Prim.String (htmlifyString s)), loc) 147 EWrite (EPrim (Prim.String (htmlifyString s)), loc)
143 | EWrite (EFfiApp ("Basis", "htmlifyString", [e]), _) => 148 | EWrite (EFfiApp ("Basis", "htmlifyString", [e]), _) =>
144 EFfiApp ("Basis", "htmlifyString_w", [e]) 149 EFfiApp ("Basis", "htmlifyString_w", [e])
150 | EFfiApp ("Basis", "htmlifyString_w", [(EPrim (Prim.String s), loc)]) =>
151 EWrite (EPrim (Prim.String (htmlifyString s)), loc)
145 152
146 | EFfiApp ("Basis", "attrifyInt", [(EPrim (Prim.Int n), _)]) => 153 | EFfiApp ("Basis", "attrifyInt", [(EPrim (Prim.Int n), _)]) =>
147 EPrim (Prim.String (attrifyInt n)) 154 EPrim (Prim.String (attrifyInt n))
148 | EWrite (EFfiApp ("Basis", "attrifyInt", [(EPrim (Prim.Int n), _)]), loc) => 155 | EWrite (EFfiApp ("Basis", "attrifyInt", [(EPrim (Prim.Int n), _)]), loc) =>
149 EWrite (EPrim (Prim.String (attrifyInt n)), loc) 156 EWrite (EPrim (Prim.String (attrifyInt n)), loc)