diff options
author | Ziv Scully <ziv@mit.edu> | 2014-11-24 20:41:24 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2014-11-24 20:41:24 -0500 |
commit | a413fc1a42bf0fbee27c2f22cc8e9ca9b17b9edf (patch) | |
tree | 2a8e53b7079d966df10718a9bcb1b3e82379e605 /src/sqlcache.sml | |
parent | a747e57a19be5a2bf0166efd86547b5d851a5902 (diff) |
Add interface to UnionFind.
Diffstat (limited to 'src/sqlcache.sml')
-rw-r--r-- | src/sqlcache.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sqlcache.sml b/src/sqlcache.sml index 095a1474..d8169926 100644 --- a/src/sqlcache.sml +++ b/src/sqlcache.sml @@ -341,6 +341,7 @@ val rec dmlToFormula = 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 |