Mercurial > urweb

comparison src/postgres.sml @ 2199:251dd276f45f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
2198:cf2abef213d8 2199:251dd276f45f
276 (fn s => 276 (fn s =>
277 let 277 let
278 val sl = CharVector.map Char.toLower s 278 val sl = CharVector.map Char.toLower s
279 279
280 val q = "SELECT COUNT(*) FROM pg_class WHERE relname = '" 280 val q = "SELECT COUNT(*) FROM pg_class WHERE relname = '"
281 ^ sl ^ "' AND relkind = 'S'" 281 ^ sl ^ "' AND relkind = 'S' AND pg_catalog.pg_table_is_visible(oid)"
282 in 282 in
283 box [string "res = PQexec(conn, \"", 283 box [string "res = PQexec(conn, \"",
284 string q, 284 string q,
285 string "\");", 285 string "\");",
286 newline, 286 newline,