Mercurial > urweb

comparison src/sqlcache.sml @ 2219:ff38b3e0cdfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add interface to UnionFind.
author Ziv Scully <ziv@mit.edu>
date Mon, 24 Nov 2014 20:41:24 -0500
parents f7113855f3b7
children 278e10629ba1
comparison
equal deleted inserted replaced
2218:f7113855f3b7 2219:ff38b3e0cdfd
339 339
340 val rec dmlToFormula = 340 val rec dmlToFormula =
341 fn Sql.Insert tableVals => valsToFormula tableVals 341 fn Sql.Insert tableVals => valsToFormula tableVals
342 | Sql.Delete (table, wher) => renameTables [(table, "T")] (sqexpToFormula wher) 342 | Sql.Delete (table, wher) => renameTables [(table, "T")] (sqexpToFormula wher)
343 (* TODO: refine formula for the vals part, which could take into account the wher part. *) 343 (* TODO: refine formula for the vals part, which could take into account the wher part. *)
344 (* TODO: use pushNegate instead of mapFormulaSigned? *)
344 | Sql.Update (table, vals, wher) => 345 | Sql.Update (table, vals, wher) =>
345 let 346 let
346 val f = sqexpToFormula wher 347 val f = sqexpToFormula wher
347 fun update (positive, a) = 348 fun update (positive, a) =
348 let 349 let