Mercurial > urweb

comparison src/mono_opt.sml @ 467:3f1b9231a37b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Inserted a NULL value
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 15:37:38 -0500
parents 787d4931fb07
children 8e055bbbd28b
comparison
equal deleted inserted replaced
466:1626dcba13ee 467:3f1b9231a37b
266 | EWrite (EFfiApp ("Basis", "urlifyBool", [e]), _) => 266 | EWrite (EFfiApp ("Basis", "urlifyBool", [e]), _) =>
267 EFfiApp ("Basis", "urlifyBool_w", [e]) 267 EFfiApp ("Basis", "urlifyBool_w", [e])
268 268
269 | EFfiApp ("Basis", "sqlifyInt", [(EPrim (Prim.Int n), _)]) => 269 | EFfiApp ("Basis", "sqlifyInt", [(EPrim (Prim.Int n), _)]) =>
270 EPrim (Prim.String (sqlifyInt n)) 270 EPrim (Prim.String (sqlifyInt n))
271 | EFfiApp ("Basis", "sqlifyIntN", [(ENone _, _)]) =>
272 EPrim (Prim.String "NULL")
273 | EFfiApp ("Basis", "sqlifyIntN", [(ESome (_, (EPrim (Prim.Int n), _)), _)]) =>
274 EPrim (Prim.String (sqlifyInt n))
275
271 | EFfiApp ("Basis", "sqlifyFloat", [(EPrim (Prim.Float n), _)]) => 276 | EFfiApp ("Basis", "sqlifyFloat", [(EPrim (Prim.Float n), _)]) =>
272 EPrim (Prim.String (sqlifyFloat n)) 277 EPrim (Prim.String (sqlifyFloat n))
273 | EFfiApp ("Basis", "sqlifyBool", [b as (_, loc)]) => 278 | EFfiApp ("Basis", "sqlifyBool", [b as (_, loc)]) =>
274 optExp (ECase (b, 279 optExp (ECase (b,
275 [((PCon (Enum, PConFfi {mod = "Basis", datatyp = "bool", con = "True", arg = NONE}, NONE), loc), 280 [((PCon (Enum, PConFfi {mod = "Basis", datatyp = "bool", con = "True", arg = NONE}, NONE), loc),