Mercurial > urweb

comparison src/settings.sig @ 1682:ac141fbb313a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'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
comparison
equal deleted inserted replaced
1681:e8a84494d2c0 1682:ac141fbb313a
14 * 14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 signature SETTINGS = sig 28 signature SETTINGS = sig
29 29
30 val setDebug : bool -> unit 30 val setDebug : bool -> unit
31 val getDebug : unit -> bool 31 val getDebug : unit -> bool
32 32
33 val clibFile : string -> string 33 val clibFile : string -> string
34 34
35 (* How do all application URLs begin? *) 35 (* How do all application URLs begin? *)
36 val setUrlPrefix : string -> unit 36 val setUrlPrefix : string -> unit
37 val getUrlPrefix : unit -> string 37 val getUrlPrefix : unit -> string
141 datatype failure_mode = Error | None 141 datatype failure_mode = Error | None
142 142
143 type dbms = { 143 type dbms = {
144 name : string, 144 name : string,
145 (* Call it this on the command line *) 145 (* Call it this on the command line *)
146 randomFunction : string,
147 (* DBMS's name for random number-generating function *)
146 header : string, 148 header : string,
147 (* Include this C header file *) 149 (* Include this C header file *)
148 link : string, 150 link : string,
149 (* Pass these linker arguments *) 151 (* Pass these linker arguments *)
150 p_sql_type : sql_type -> string, 152 p_sql_type : sql_type -> string,