Mercurial > urweb

comparison src/mono_opt.sml @ 185:19ee24bffbc0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FFI datatypes
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 17:57:47 -0400
parents 98c29e3986d3
children fb6ed259f5bd
comparison
equal deleted inserted replaced
184:98c29e3986d3 185:19ee24bffbc0
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
189 | EWrite (ECase (discE, pes, {disc, ...}), loc) => 188 | EWrite (ECase (discE, pes, {disc, ...}), loc) =>
190 optExp (ECase (discE, 189 optExp (ECase (discE,
191 map (fn (p, e) => (p, (EWrite e, loc))) pes, 190 map (fn (p, e) => (p, (EWrite e, loc))) pes,
192 {disc = disc, 191 {disc = disc,
193 result = (TRecord [], loc)}), loc) 192 result = (TRecord [], loc)}), loc)