Mercurial > urweb
comparison 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 |
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 |