Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/sqlcache.sml	Tue Nov 11 04:25:20 2014 -0500
+++ b/src/sqlcache.sml	Mon Nov 24 20:41:24 2014 -0500
@@ -341,6 +341,7 @@
  fn Sql.Insert tableVals => valsToFormula tableVals
   | Sql.Delete (table, wher) => renameTables [(table, "T")] (sqexpToFormula wher)
   (* TODO: refine formula for the vals part, which could take into account the wher part. *)
+  (* TODO: use pushNegate instead of mapFormulaSigned? *)
   | Sql.Update (table, vals, wher) =>
     let
         val f = sqexpToFormula wher