Mercurial > urweb

comparison src/prepare.sml @ 468:4efab85405be

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Ensql'ing nullables
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 15:52:13 -0500
parents bb27c7efcd90
children 8e055bbbd28b
comparison
equal deleted inserted replaced
467:3f1b9231a37b 468:4efab85405be
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]) => 48 | EFfiApp ("Basis", "sqlifyTime", [e]) =>
49 SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1) 49 SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1)
50
51 | EFfiApp ("Basis", "sqlifyIntN", [e]) =>
52 SOME ("$" ^ Int.toString (n + 1) ^ "::int8" :: ss, n + 1)
53 | EFfiApp ("Basis", "sqlifyFloatN", [e]) =>
54 SOME ("$" ^ Int.toString (n + 1) ^ "::float8" :: ss, n + 1)
55 | EFfiApp ("Basis", "sqlifyStringN", [e]) =>
56 SOME ("$" ^ Int.toString (n + 1) ^ "::text" :: ss, n + 1)
57 | EFfiApp ("Basis", "sqlifyBoolN", [e]) =>
58 SOME ("$" ^ Int.toString (n + 1) ^ "::bool" :: ss, n + 1)
59 | EFfiApp ("Basis", "sqlifyTimeN", [e]) =>
60 SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1)
61
50 | ECase (e, 62 | ECase (e,
51 [((PCon (_, PConFfi {mod = "Basis", con = "True", ...}, _), _), 63 [((PCon (_, PConFfi {mod = "Basis", con = "True", ...}, _), _),
52 (EPrim (Prim.String "TRUE"), _)), 64 (EPrim (Prim.String "TRUE"), _)),
53 ((PCon (_, PConFfi {mod = "Basis", con = "False", ...}, _), _), 65 ((PCon (_, PConFfi {mod = "Basis", con = "False", ...}, _), _),
54 (EPrim (Prim.String "FALSE"), _))], 66 (EPrim (Prim.String "FALSE"), _))],