comparison 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
comparison
equal deleted inserted replaced
2232:a07b91fa71db 2233:af1585e7d645
3402 string "static int uw_db_rollback(uw_context ctx) { return 0; };"], 3402 string "static int uw_db_rollback(uw_context ctx) { return 0; };"],
3403 newline, 3403 newline,
3404 newline, 3404 newline,
3405 3405
3406 (* For sqlcache. *) 3406 (* For sqlcache. *)
3407 box (List.map ToyCache.setupQuery (Sqlcache.getFfiInfo ())), 3407 let
3408 val {setupGlobal, setupQuery, ...} = Sqlcache.getCache ()
3409 in
3410 box (setupGlobal :: newline :: List.map setupQuery (Sqlcache.getFfiInfo ()))
3411 end,
3408 newline, 3412 newline,
3409 3413
3410 p_list_sep newline (fn x => x) pds, 3414 p_list_sep newline (fn x => x) pds,
3411 newline, 3415 newline,
3412 newline, 3416 newline,