diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-05-06 23:11:30 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-05-06 23:11:30 -0400 |
| commit | ca3efa1458583772a9826198ed4b99eec381f2de (patch) | |
| tree | 601805ceb6fea9d5d9282a2b2f51857b416e8f23 /src/cjr_print.sml | |
| parent | 9c155aa780bef9e6edae2c07516693c12b37962b (diff) | |
More work factoring out Sqlcache back end.
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 6 |
1 files changed, 5 insertions, 1 deletions
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, |