Mercurial > urweb
diff src/sqlcache.sml @ 2219:ff38b3e0cdfd
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