Mercurial > urweb

comparison src/settings.sml @ 1293:acabf3935060

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents 6791454653c5
children b4480a56cab7
comparison
equal deleted inserted replaced
1292:a671c986f517 1293:acabf3935060
361 | isBlob _ = false 361 | isBlob _ = false
362 362
363 fun isNotNull (Nullable _) = false 363 fun isNotNull (Nullable _) = false
364 | isNotNull _ = true 364 | isNotNull _ = true
365 365
366 datatype failure_mode = Error | None
367
366 type dbms = { 368 type dbms = {
367 name : string, 369 name : string,
368 header : string, 370 header : string,
369 link : string, 371 link : string,
370 p_sql_type : sql_type -> string, 372 p_sql_type : sql_type -> string,
382 doCols : ({loc : ErrorMsg.span, wontLeakStrings : bool, col : int, 384 doCols : ({loc : ErrorMsg.span, wontLeakStrings : bool, col : int,
383 typ : sql_type} -> Print.PD.pp_desc) 385 typ : sql_type} -> Print.PD.pp_desc)
384 -> Print.PD.pp_desc, 386 -> Print.PD.pp_desc,
385 nested : bool} 387 nested : bool}
386 -> Print.PD.pp_desc, 388 -> Print.PD.pp_desc,
387 dml : ErrorMsg.span -> Print.PD.pp_desc, 389 dml : ErrorMsg.span * failure_mode -> Print.PD.pp_desc,
388 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 390 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
389 inputs : sql_type list} -> Print.PD.pp_desc, 391 inputs : sql_type list, mode : failure_mode} -> Print.PD.pp_desc,
390 nextval : {loc : ErrorMsg.span, seqName : string option, seqE : Print.PD.pp_desc} -> Print.PD.pp_desc, 392 nextval : {loc : ErrorMsg.span, seqName : string option, seqE : Print.PD.pp_desc} -> Print.PD.pp_desc,
391 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, 393 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
392 setval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, count : Print.PD.pp_desc} -> Print.PD.pp_desc, 394 setval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, count : Print.PD.pp_desc} -> Print.PD.pp_desc,
393 sqlifyString : string -> string, 395 sqlifyString : string -> string,
394 p_cast : string * sql_type -> string, 396 p_cast : string * sql_type -> string,