comparison src/cjr_print.sml @ 331:41458a694575

Optimize immediate writes of query results
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 10:44:58 -0400
parents e457d8972ff1
children 18d5affa790d
comparison
equal deleted inserted replaced
330:f307cdd08d81 331:41458a694575
743 val wontLeakStrings = notLeaky env true state 743 val wontLeakStrings = notLeaky env true state
744 val wontLeakAnything = notLeaky env false state 744 val wontLeakAnything = notLeaky env false state
745 in 745 in
746 box [string "(uw_begin_region(ctx), ", 746 box [string "(uw_begin_region(ctx), ",
747 if wontLeakAnything then 747 if wontLeakAnything then
748 string "uw_begin_regio(ctx), " 748 string "uw_begin_region(ctx), "
749 else 749 else
750 box [], 750 box [],
751 string "({", 751 string "({",
752 newline, 752 newline,
753 string "PGconn *conn = uw_get_db(ctx);", 753 string "PGconn *conn = uw_get_db(ctx);",