summaryrefslogtreecommitdiff
path: root/src/prepare.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 15:52:13 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 15:52:13 -0500
commit49f721d39e46ab0635cc2e9a5ed2a66944586640 (patch)
tree41ee93be96f6a864b32ea4dc473be7a2c8414be2 /src/prepare.sml
parent0a10b5b7d2bbdcbfec723176b2a31d6b4c6d34d1 (diff)
Ensql'ing nullables
Diffstat (limited to 'src/prepare.sml')
-rw-r--r--src/prepare.sml12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/prepare.sml b/src/prepare.sml
index 6d63ad7d..b20c7fec 100644
--- a/src/prepare.sml
+++ b/src/prepare.sml
@@ -47,6 +47,18 @@ fun prepString (e, ss, n) =
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"), _)),