diff src/postgres.sml @ 1682:ac141fbb313a

'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Feb 2012 11:40:10 -0500
parents 3e7c7e200713
children 59b07fdae1ff
line wrap: on
line diff
--- a/src/postgres.sml	Sun Jan 22 20:25:14 2012 -0500
+++ b/src/postgres.sml	Thu Feb 02 11:40:10 2012 -0500
@@ -16,7 +16,7 @@
  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
- * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
@@ -645,7 +645,7 @@
          newline,
          newline,
          string "uw_pop_cleanup(ctx);",
-         newline]    
+         newline]
 
 fun query {loc, cols, doCols} =
     box [string "PGconn *conn = uw_get_db(ctx);",
@@ -1037,6 +1037,7 @@
 fun p_blank (n, t) = p_cast ("$" ^ Int.toString n, t)
 
 val () = addDbms {name = "postgres",
+                  randomFunction = "RANDOM",
                   header = Config.pgheader,
                   link = "-lpq",
                   p_sql_type = p_sql_type,