comparison src/cjr_print.sml @ 337:18d5affa790d

Deletion for Crud
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 20:15:30 -0400
parents 41458a694575
children e976b187d73a
comparison
equal deleted inserted replaced
336:34847732cefc 337:18d5affa790d
896 newline, 896 newline,
897 string "}))"] 897 string "}))"]
898 end 898 end
899 899
900 | EDml {dml, prepared} => 900 | EDml {dml, prepared} =>
901 box [string "({", 901 box [string "(uw_begin_region(ctx), ({",
902 newline, 902 newline,
903 string "PGconn *conn = uw_get_db(ctx);", 903 string "PGconn *conn = uw_get_db(ctx);",
904 newline, 904 newline,
905 case prepared of 905 case prepared of
906 NONE => box [string "char *dml = ", 906 NONE => box [string "char *dml = ",
968 newline, 968 newline,
969 newline, 969 newline,
970 970
971 string "PQclear(res);", 971 string "PQclear(res);",
972 newline, 972 newline,
973 string "uw_end_region(ctx);",
974 newline,
973 string "uw_unit_v;", 975 string "uw_unit_v;",
974 newline, 976 newline,
975 string "})"] 977 string "}))"]
976 978
977 and p_exp env = p_exp' false env 979 and p_exp env = p_exp' false env
978 980
979 fun p_fun env (fx, n, args, ran, e) = 981 fun p_fun env (fx, n, args, ran, e) =
980 let 982 let