Mercurial > urweb

comparison src/settings.sml @ 874:3c7b48040dcf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MySQL demo/sql succeeds in reading no rows
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Jul 2009 15:05:40 -0400
parents 41971801b62d
children dae141d911d9
comparison
equal deleted inserted replaced
873:41971801b62d 874:3c7b48040dcf
312 312
313 type dbms = { 313 type dbms = {
314 name : string, 314 name : string,
315 header : string, 315 header : string,
316 link : string, 316 link : string,
317 global_init : Print.PD.pp_desc,
318 p_sql_type : sql_type -> string, 317 p_sql_type : sql_type -> string,
319 init : {dbstring : string, 318 init : {dbstring : string,
320 prepared : (string * int) list, 319 prepared : (string * int) list,
321 tables : (string * (string * sql_type) list) list, 320 tables : (string * (string * sql_type) list) list,
322 views : (string * (string * sql_type) list) list, 321 views : (string * (string * sql_type) list) list,
332 -> Print.PD.pp_desc, 331 -> Print.PD.pp_desc,
333 dml : ErrorMsg.span -> Print.PD.pp_desc, 332 dml : ErrorMsg.span -> Print.PD.pp_desc,
334 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 333 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
335 inputs : sql_type list} -> Print.PD.pp_desc, 334 inputs : sql_type list} -> Print.PD.pp_desc,
336 nextval : ErrorMsg.span -> Print.PD.pp_desc, 335 nextval : ErrorMsg.span -> Print.PD.pp_desc,
337 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc 336 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
337 sqlifyString : string -> string,
338 p_cast : string * sql_type -> string,
339 p_blank : int * sql_type -> string,
340 supportsDeleteAs : bool
338 } 341 }
339 342
340 val dbmses = ref ([] : dbms list) 343 val dbmses = ref ([] : dbms list)
341 val curDb = ref ({name = "", 344 val curDb = ref ({name = "",
342 header = "", 345 header = "",
343 link = "", 346 link = "",
344 global_init = Print.box [],
345 p_sql_type = fn _ => "", 347 p_sql_type = fn _ => "",
346 init = fn _ => Print.box [], 348 init = fn _ => Print.box [],
347 query = fn _ => Print.box [], 349 query = fn _ => Print.box [],
348 queryPrepared = fn _ => Print.box [], 350 queryPrepared = fn _ => Print.box [],
349 dml = fn _ => Print.box [], 351 dml = fn _ => Print.box [],
350 dmlPrepared = fn _ => Print.box [], 352 dmlPrepared = fn _ => Print.box [],
351 nextval = fn _ => Print.box [], 353 nextval = fn _ => Print.box [],
352 nextvalPrepared = fn _ => Print.box []} : dbms) 354 nextvalPrepared = fn _ => Print.box [],
355 sqlifyString = fn s => s,
356 p_cast = fn _ => "",
357 p_blank = fn _ => "",
358 supportsDeleteAs = false} : dbms)
353 359
354 fun addDbms v = dbmses := v :: !dbmses 360 fun addDbms v = dbmses := v :: !dbmses
355 fun setDbms s = 361 fun setDbms s =
356 case List.find (fn db => #name db = s) (!dbmses) of 362 case List.find (fn db => #name db = s) (!dbmses) of
357 NONE => raise Fail ("Unknown DBMS " ^ s) 363 NONE => raise Fail ("Unknown DBMS " ^ s)