diff options
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 |