diff src/cjr_print.sml @ 2233:af1585e7d645

More work factoring out Sqlcache back end.
author Ziv Scully <ziv@mit.edu>
date Wed, 06 May 2015 23:11:30 -0400
parents a749acc51ae4
children 2b1af5dc6dee
line wrap: on
line diff
--- a/src/cjr_print.sml	Wed May 06 14:51:09 2015 -0400
+++ b/src/cjr_print.sml	Wed May 06 23:11:30 2015 -0400
@@ -3404,7 +3404,11 @@
              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,