Mercurial > urweb

diff src/cjr_print.sml @ 438:1c27f03d9bd2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reading timestamps from SQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 14:57:15 -0400
parents 659c17441250
children 322c8620bbdf
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Oct 30 14:40:42 2008 -0400
+++ b/src/cjr_print.sml	Thu Oct 30 14:57:15 2008 -0400
@@ -403,6 +403,7 @@
         else
             box [string "uw_Basis_strdup(ctx, ", e, string ")"]
       | TFfi ("Basis", "bool") => box [string "uw_Basis_stringToBool_error(ctx, ", e, string ")"]
+      | TFfi ("Basis", "time") => box [string "uw_Basis_stringToTime_error(ctx, ", e, string ")"]
       | _ => (ErrorMsg.errorAt loc "Don't know how to unmarshal type from SQL";
               Print.eprefaces' [("Type", p_typ env tAll)];
               string "ERROR")
@@ -1395,6 +1396,7 @@
       | TFfi ("Basis", "float") => "float8"
       | TFfi ("Basis", "string") => "text"
       | TFfi ("Basis", "bool") => "bool"
+      | TFfi ("Basis", "time") => "timestamp"
       | _ => (ErrorMsg.errorAt loc "Don't know SQL equivalent of type";
               Print.eprefaces' [("Type", p_typ env tAll)];
               "ERROR")