Mercurial > urweb

comparison src/settings.sml @ 877:dae141d911d9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MySQL accepts generated demo DDL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 13:59:30 -0400
parents 3c7b48040dcf
children a8952047e1d3
comparison
equal deleted inserted replaced
876:025806b3c014 877:dae141d911d9
335 nextval : ErrorMsg.span -> Print.PD.pp_desc, 335 nextval : ErrorMsg.span -> Print.PD.pp_desc,
336 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, 337 sqlifyString : string -> string,
338 p_cast : string * sql_type -> string, 338 p_cast : string * sql_type -> string,
339 p_blank : int * sql_type -> string, 339 p_blank : int * sql_type -> string,
340 supportsDeleteAs : bool 340 supportsDeleteAs : bool,
341 createSequence : string -> string,
342 textKeysNeedLengths : bool
341 } 343 }
342 344
343 val dbmses = ref ([] : dbms list) 345 val dbmses = ref ([] : dbms list)
344 val curDb = ref ({name = "", 346 val curDb = ref ({name = "",
345 header = "", 347 header = "",
353 nextval = fn _ => Print.box [], 355 nextval = fn _ => Print.box [],
354 nextvalPrepared = fn _ => Print.box [], 356 nextvalPrepared = fn _ => Print.box [],
355 sqlifyString = fn s => s, 357 sqlifyString = fn s => s,
356 p_cast = fn _ => "", 358 p_cast = fn _ => "",
357 p_blank = fn _ => "", 359 p_blank = fn _ => "",
358 supportsDeleteAs = false} : dbms) 360 supportsDeleteAs = false,
361 createSequence = fn _ => "",
362 textKeysNeedLengths = false} : dbms)
359 363
360 fun addDbms v = dbmses := v :: !dbmses 364 fun addDbms v = dbmses := v :: !dbmses
361 fun setDbms s = 365 fun setDbms s =
362 case List.find (fn db => #name db = s) (!dbmses) of 366 case List.find (fn db => #name db = s) (!dbmses) of
363 NONE => raise Fail ("Unknown DBMS " ^ s) 367 NONE => raise Fail ("Unknown DBMS " ^ s)