comparison src/prepare.sml @ 439:322c8620bbdf

Marshaling time to SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 15:11:37 -0400
parents 7abb28e9d51f
children bb27c7efcd90
comparison
equal deleted inserted replaced
438:1c27f03d9bd2 439:322c8620bbdf
43 SOME ("$" ^ Int.toString (n + 1) ^ "::float8" :: ss, n + 1) 43 SOME ("$" ^ Int.toString (n + 1) ^ "::float8" :: ss, n + 1)
44 | EFfiApp ("Basis", "sqlifyString", [e]) => 44 | EFfiApp ("Basis", "sqlifyString", [e]) =>
45 SOME ("$" ^ Int.toString (n + 1) ^ "::text" :: ss, n + 1) 45 SOME ("$" ^ Int.toString (n + 1) ^ "::text" :: ss, n + 1)
46 | EFfiApp ("Basis", "sqlifyBool", [e]) => 46 | EFfiApp ("Basis", "sqlifyBool", [e]) =>
47 SOME ("$" ^ Int.toString (n + 1) ^ "::bool" :: ss, n + 1) 47 SOME ("$" ^ Int.toString (n + 1) ^ "::bool" :: ss, n + 1)
48 | EFfiApp ("Basis", "sqlifyTime", [e]) =>
49 SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1)
48 | ECase (e, 50 | ECase (e,
49 [((PCon (_, PConFfi {mod = "Basis", con = "True", ...}, _), _), 51 [((PCon (_, PConFfi {mod = "Basis", con = "True", ...}, _), _),
50 (EPrim (Prim.String "TRUE"), _)), 52 (EPrim (Prim.String "TRUE"), _)),
51 ((PCon (_, PConFfi {mod = "Basis", con = "False", ...}, _), _), 53 ((PCon (_, PConFfi {mod = "Basis", con = "False", ...}, _), _),
52 (EPrim (Prim.String "FALSE"), _))], 54 (EPrim (Prim.String "FALSE"), _))],