From ca3efa1458583772a9826198ed4b99eec381f2de Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Wed, 6 May 2015 23:11:30 -0400
Subject: More work factoring out Sqlcache back end.

---
 src/cjr_print.sml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/cjr_print.sml')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 12ad309a..e6ecedde 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -3404,7 +3404,11 @@ fun p_file env (ds, ps) =
              newline,
 
              (* For sqlcache. *)
-             box (List.map ToyCache.setupQuery (Sqlcache.getFfiInfo ())),
+             let
+                 val {setupGlobal, setupQuery, ...} = Sqlcache.getCache ()
+             in
+                 box (setupGlobal :: newline :: List.map setupQuery (Sqlcache.getFfiInfo ()))
+             end,
              newline,
 
              p_list_sep newline (fn x => x) pds,
-- 
cgit v1.2.3