diff src/cjr_print.sml @ 273:09c66a30ef32

Table declarations pushed to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 13:09:54 -0400
parents 4d80d6122df1
children e4baf03a3a64
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Sep 02 11:57:25 2008 -0400
+++ b/src/cjr_print.sml	Tue Sep 02 13:09:54 2008 -0400
@@ -688,8 +688,14 @@
                  p_list_sep newline (p_fun env) vis,
                  newline]
         end
+      | DTable (x, _) => box [string "/* SQL table ",
+                              string x,
+                              string " */",
+                              newline]
       | DDatabase s => box [string "void lw_db_init(lw_context ctx) {",
                             newline,
+                            string "PGresult *res;",
+                            newline,
                             string "PGconn *conn = PQconnectdb(\"",
                             string (String.toString s),
                             string "\");",