diff src/cjr_print.sml @ 742:43553c93dd8c

Reading blobs from the database
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 10:45:59 -0400
parents f7e2026dd5ae
children cd67c3a942e3
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun Apr 26 09:02:17 2009 -0400
+++ b/src/cjr_print.sml	Sun Apr 26 10:45:59 2009 -0400
@@ -434,6 +434,12 @@
                            newline,
                            string "})"],
              string ")"]
+
+      | TFfi ("Basis", "blob") => box [string "uw_Basis_stringToBlob_error(ctx, PQgetvalue(res, i, ",
+                                       string (Int.toString i),
+                                       string "), PQgetlength(res, i, ",
+                                       string (Int.toString i),
+                                       string "))"]
              
       | _ =>
         p_unsql wontLeakStrings env tAll
@@ -547,7 +553,7 @@
                                                   | SOME t => nl ok' t) cons
                  end)
               | TFfi ("Basis", "string") => false
-              | TFfi ("Basis", "blob") => false
+              | TFfi ("Basis", "blob") => allowHeapAllocated
               | TFfi _ => true
               | TOption t => allowHeapAllocated andalso nl ok t
     in