Mercurial > urweb
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,