diff src/prepare.sml @ 468:4efab85405be

Ensql'ing nullables
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 15:52:13 -0500
parents bb27c7efcd90
children 8e055bbbd28b
line wrap: on
line diff
--- a/src/prepare.sml	Thu Nov 06 15:37:38 2008 -0500
+++ b/src/prepare.sml	Thu Nov 06 15:52:13 2008 -0500
@@ -47,6 +47,18 @@
         SOME ("$" ^ Int.toString (n + 1) ^ "::bool" :: ss, n + 1)
       | EFfiApp ("Basis", "sqlifyTime", [e]) =>
         SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1)
+
+      | EFfiApp ("Basis", "sqlifyIntN", [e]) =>
+        SOME ("$" ^ Int.toString (n + 1) ^ "::int8" :: ss, n + 1)
+      | EFfiApp ("Basis", "sqlifyFloatN", [e]) =>
+        SOME ("$" ^ Int.toString (n + 1) ^ "::float8" :: ss, n + 1)
+      | EFfiApp ("Basis", "sqlifyStringN", [e]) =>
+        SOME ("$" ^ Int.toString (n + 1) ^ "::text" :: ss, n + 1)
+      | EFfiApp ("Basis", "sqlifyBoolN", [e]) =>
+        SOME ("$" ^ Int.toString (n + 1) ^ "::bool" :: ss, n + 1)
+      | EFfiApp ("Basis", "sqlifyTimeN", [e]) =>
+        SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1)
+
       | ECase (e,
                [((PCon (_, PConFfi {mod = "Basis", con = "True", ...}, _), _),
                  (EPrim (Prim.String "TRUE"), _)),