diff src/cjr_print.sml @ 325:e457d8972ff1

Crud listing IDs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 17:41:52 -0400
parents b91480c9a729
children 41458a694575
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Sep 11 13:06:51 2008 -0400
+++ b/src/cjr_print.sml	Thu Sep 11 17:41:52 2008 -0400
@@ -738,6 +738,7 @@
                                             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 @@
 
                                     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,