diff src/settings.sig @ 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 e374b6b8ab38
children c414850f206f
line wrap: on
line diff
--- a/src/settings.sig	Sun Jan 22 20:25:14 2012 -0500
+++ b/src/settings.sig	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
@@ -26,10 +26,10 @@
  *)
 
 signature SETTINGS = sig
-    
+
     val setDebug : bool -> unit
     val getDebug : unit -> bool
-                           
+
     val clibFile : string -> string
 
     (* How do all application URLs begin? *)
@@ -143,6 +143,8 @@
     type dbms = {
          name : string,
          (* Call it this on the command line *)
+         randomFunction : string,
+         (* DBMS's name for random number-generating function *)
          header : string,
          (* Include this C header file *)
          link : string,