Mercurial > urweb
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"), _))], |