diff options
| -rw-r--r-- | src/sqlcache.sml | 1 | ||||
| -rw-r--r-- | src/union_find_fn.sml | 8 |
2 files changed, 8 insertions, 1 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 diff --git a/src/union_find_fn.sml b/src/union_find_fn.sml index 42b2d4d7..e6f8d9bf 100644 --- a/src/union_find_fn.sml +++ b/src/union_find_fn.sml @@ -1,4 +1,10 @@ -functor UnionFindFn(K : ORD_KEY) = struct +functor UnionFindFn(K : ORD_KEY) :> sig + type unionFind + val empty : unionFind + val union : unionFind * K.ord_key * K.ord_key -> unionFind + val union' : (K.ord_key * K.ord_key) * unionFind -> unionFind + val classes : unionFind -> K.ord_key list list +end = struct structure M = BinaryMapFn(K) structure S = BinarySetFn(K) |