summaryrefslogtreecommitdiff
path: root/src/prepare.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-30 15:11:37 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-30 15:11:37 -0400
commit5421d219d4b51b4b8ef18524d5b7db5c4939c36d (patch)
tree0782e912bb831257c563ede527ee462766d5cb6c /src/prepare.sml
parentbca91774855a83f677f1a53abd3081258dc3a95c (diff)
Marshaling time to SQL
Diffstat (limited to 'src/prepare.sml')
-rw-r--r--src/prepare.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/prepare.sml b/src/prepare.sml
index 6bf929f0..166f658b 100644
--- a/src/prepare.sml
+++ b/src/prepare.sml
@@ -45,6 +45,8 @@ fun prepString (e, ss, n) =
SOME ("$" ^ Int.toString (n + 1) ^ "::text" :: ss, n + 1)
| EFfiApp ("Basis", "sqlifyBool", [e]) =>
SOME ("$" ^ Int.toString (n + 1) ^ "::bool" :: ss, n + 1)
+ | EFfiApp ("Basis", "sqlifyTime", [e]) =>
+ SOME ("$" ^ Int.toString (n + 1) ^ "::timestamp" :: ss, n + 1)
| ECase (e,
[((PCon (_, PConFfi {mod = "Basis", con = "True", ...}, _), _),
(EPrim (Prim.String "TRUE"), _)),