Mercurial > urweb

comparison src/settings.sml @ 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 225b87d4a7df
comparison
equal deleted inserted replaced
1681:e8a84494d2c0 1682:ac141fbb313a
465 465
466 datatype failure_mode = Error | None 466 datatype failure_mode = Error | None
467 467
468 type dbms = { 468 type dbms = {
469 name : string, 469 name : string,
470 randomFunction : string,
470 header : string, 471 header : string,
471 link : string, 472 link : string,
472 p_sql_type : sql_type -> string, 473 p_sql_type : sql_type -> string,
473 init : {dbstring : string, 474 init : {dbstring : string,
474 prepared : (string * int) list, 475 prepared : (string * int) list,
509 nestedRelops : bool 510 nestedRelops : bool
510 } 511 }
511 512
512 val dbmses = ref ([] : dbms list) 513 val dbmses = ref ([] : dbms list)
513 val curDb = ref ({name = "", 514 val curDb = ref ({name = "",
515 randomFunction = "",
514 header = "", 516 header = "",
515 link = "", 517 link = "",
516 p_sql_type = fn _ => "", 518 p_sql_type = fn _ => "",
517 init = fn _ => Print.box [], 519 init = fn _ => Print.box [],
518 query = fn _ => Print.box [], 520 query = fn _ => Print.box [],