comparison src/mono_opt.sml @ 1014:ea9f03ac2710

Chars working with SQLite
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 17:36:30 -0400
parents 16f7cb0891b6
children 93415bcf54c0
comparison
equal deleted inserted replaced
1013:d9483301ff0e 1014:ea9f03ac2710
321 | EFfiApp ("Basis", "sqlifyFloat", [(EPrim (Prim.Float n), _)]) => 321 | EFfiApp ("Basis", "sqlifyFloat", [(EPrim (Prim.Float n), _)]) =>
322 EPrim (Prim.String (sqlifyFloat n)) 322 EPrim (Prim.String (sqlifyFloat n))
323 | EFfiApp ("Basis", "sqlifyBool", [b as (_, loc)]) => 323 | EFfiApp ("Basis", "sqlifyBool", [b as (_, loc)]) =>
324 optExp (ECase (b, 324 optExp (ECase (b,
325 [((PCon (Enum, PConFfi {mod = "Basis", datatyp = "bool", con = "True", arg = NONE}, NONE), loc), 325 [((PCon (Enum, PConFfi {mod = "Basis", datatyp = "bool", con = "True", arg = NONE}, NONE), loc),
326 (EPrim (Prim.String "TRUE"), loc)), 326 (EPrim (Prim.String (#trueString (Settings.currentDbms ()))), loc)),
327 ((PCon (Enum, PConFfi {mod = "Basis", datatyp = "bool", con = "False", arg = NONE}, NONE), loc), 327 ((PCon (Enum, PConFfi {mod = "Basis", datatyp = "bool", con = "False", arg = NONE}, NONE), loc),
328 (EPrim (Prim.String "FALSE"), loc))], 328 (EPrim (Prim.String (#falseString (Settings.currentDbms ()))), loc))],
329 {disc = (TFfi ("Basis", "bool"), loc), 329 {disc = (TFfi ("Basis", "bool"), loc),
330 result = (TFfi ("Basis", "string"), loc)}), loc) 330 result = (TFfi ("Basis", "string"), loc)}), loc)
331 | EFfiApp ("Basis", "sqlifyString", [(EPrim (Prim.String n), _)]) => 331 | EFfiApp ("Basis", "sqlifyString", [(EPrim (Prim.String n), _)]) =>
332 EPrim (Prim.String (sqlifyString n)) 332 EPrim (Prim.String (sqlifyString n))
333 | EFfiApp ("Basis", "sqlifyChar", [(EPrim (Prim.Char n), _)]) => 333 | EFfiApp ("Basis", "sqlifyChar", [(EPrim (Prim.Char n), _)]) =>