Mercurial > urweb
comparison src/settings.sml @ 874:3c7b48040dcf
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) |