diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-11 17:41:52 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-11 17:41:52 -0400 |
commit | 48b9d4dae3d1ca6ff39e71571a6db3a43497c9f9 (patch) | |
tree | 22ffe528ac30aa133fde37ddcafb13a92cd22357 /src/cjr_print.sml | |
parent | 05fbd01cabc967d7216d8cbe701ac10ad797b122 (diff) |
Crud listing IDs
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index bdf2873f..c235d2a2 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -738,6 +738,7 @@ fun p_exp' par env (e, loc) = tables val outputs = exps @ tables + val outputs = ListMergeSort.sort (fn ((s1, _), (s2, _)) => String.compare (s1, s2) = GREATER) outputs val wontLeakStrings = notLeaky env true state val wontLeakAnything = notLeaky env false state @@ -1721,7 +1722,7 @@ fun p_file env (ds, ps) = val q'' = String.concat ["SELECT COUNT(*) FROM pg_attribute WHERE attrelid = (SELECT oid FROM pg_class WHERE relname = '", s, - "') AND attnum >= 0"] + "') AND attname LIKE 'uw_%'"] in box [string "res = PQexec(conn, \"", string q, |