Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/prepare.sml Thu Oct 30 14:57:15 2008 -0400 +++ b/src/prepare.sml Thu Oct 30 15:11:37 2008 -0400 @@ -45,6 +45,8 @@ 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"), _)),