diff src/postgres.sml @ 2199:251dd276f45f

Change Postgres schema-checking code to account properly for namespaces
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Dec 2015 17:29:24 -0500
parents 00cf8214c2e3
children
line wrap: on
line diff
--- a/src/postgres.sml	Sat Dec 05 12:12:40 2015 -0500
+++ b/src/postgres.sml	Tue Dec 08 17:29:24 2015 -0500
@@ -278,7 +278,7 @@
                                      val sl = CharVector.map Char.toLower s
 
                                      val q = "SELECT COUNT(*) FROM pg_class WHERE relname = '"
-                                             ^ sl ^ "' AND relkind = 'S'"
+                                             ^ sl ^ "' AND relkind = 'S' AND pg_catalog.pg_table_is_visible(oid)"
                                  in
                                      box [string "res = PQexec(conn, \"",
                                           string q,