From ffc7397cfa59c19577f7f0ea38a0041dbdc43147 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Thu, 7 May 2026 01:19:30 +0000 Subject: Forsake `module Memory` throughout --- lib/algebra.ml | 2 -- lib/dcl/executor.ml | 2 -- lib/dcl/sublanguage.ml | 2 -- lib/ddl/executor.ml | 2 -- lib/ddl/sublanguage.ml | 2 -- lib/dml/executor.ml | 2 -- lib/dml/sublanguage.ml | 2 -- lib/drl/executor.ml | 2 -- lib/drl/sublanguage.ml | 2 -- lib/icl/executor.ml | 2 -- lib/icl/sublanguage.ml | 2 -- lib/prl/executor.ml | 2 -- lib/prl/sublanguage.ml | 2 -- lib/scl/executor.ml | 2 -- lib/scl/sublanguage.ml | 2 -- 15 files changed, 30 deletions(-) diff --git a/lib/algebra.ml b/lib/algebra.ml index 41b2256..fffd4f3 100644 --- a/lib/algebra.ml +++ b/lib/algebra.ml @@ -401,5 +401,3 @@ module Make (Storage : Management.Physical.S) = struct (function Tuple.Materialized t -> Some t | _ -> None) tuples) end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/dcl/executor.ml b/lib/dcl/executor.ml index b83f629..e093d72 100644 --- a/lib/dcl/executor.ml +++ b/lib/dcl/executor.ml @@ -104,5 +104,3 @@ module Make (Storage : Management.Physical.S with type error = string) = struct | Ast.Use multigroup -> Ok (Switch multigroup) | Ast.CreateMultigroup name -> Ok (NewMultigroup name) end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/dcl/sublanguage.ml b/lib/dcl/sublanguage.ml index 34d4c62..1b73030 100644 --- a/lib/dcl/sublanguage.ml +++ b/lib/dcl/sublanguage.ml @@ -25,5 +25,3 @@ module Make (Storage : Management.Physical.S with type error = string) = struct let sexp_of_error = Exec.sexp_of_error end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/ddl/executor.ml b/lib/ddl/executor.ml index 2a0c205..106a701 100644 --- a/lib/ddl/executor.ml +++ b/lib/ddl/executor.ml @@ -60,5 +60,3 @@ module Make (Storage : Management.Physical.S) = struct let* db = Ops.register_domain storage db domain |> wrap_manip in Ok (db, "Domain registered: " ^ name) end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/ddl/sublanguage.ml b/lib/ddl/sublanguage.ml index b1c87e5..240a463 100644 --- a/lib/ddl/sublanguage.ml +++ b/lib/ddl/sublanguage.ml @@ -21,5 +21,3 @@ module Make (Storage : Management.Physical.S) = struct let sexp_of_error = Exec.sexp_of_error end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/dml/executor.ml b/lib/dml/executor.ml index a4b4e21..9ca07ed 100644 --- a/lib/dml/executor.ml +++ b/lib/dml/executor.ml @@ -133,5 +133,3 @@ module Make (Storage : Management.Physical.S) = struct Ok db) (Ok db) tuples end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/dml/sublanguage.ml b/lib/dml/sublanguage.ml index cc9d200..d57cbfe 100644 --- a/lib/dml/sublanguage.ml +++ b/lib/dml/sublanguage.ml @@ -21,5 +21,3 @@ module Make (Storage : Management.Physical.S) = struct let sexp_of_error = Exec.sexp_of_error end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/drl/executor.ml b/lib/drl/executor.ml index 1172553..3c821c4 100644 --- a/lib/drl/executor.ml +++ b/lib/drl/executor.ml @@ -71,5 +71,3 @@ module Make (Storage : Management.Physical.S) = struct | Ast.Take (n, q) -> execute storage db q >>= fun rel -> wrap (Alg.take storage n rel) end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/drl/sublanguage.ml b/lib/drl/sublanguage.ml index 29047c3..c2738c4 100644 --- a/lib/drl/sublanguage.ml +++ b/lib/drl/sublanguage.ml @@ -24,5 +24,3 @@ module Make (Storage : Management.Physical.S) = struct let sexp_of_error = Exec.sexp_of_error end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/icl/executor.ml b/lib/icl/executor.ml index 6f85b60..95d7a67 100644 --- a/lib/icl/executor.ml +++ b/lib/icl/executor.ml @@ -52,5 +52,3 @@ module Make (Storage : Management.Physical.S) = struct | Ok new_db -> Ok (new_db, "Constraint registered: " ^ constraint_name) | Error e -> Error e) end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/icl/sublanguage.ml b/lib/icl/sublanguage.ml index c415d96..218cb64 100644 --- a/lib/icl/sublanguage.ml +++ b/lib/icl/sublanguage.ml @@ -21,5 +21,3 @@ module Make (Storage : Management.Physical.S) = struct let sexp_of_error = Exec.sexp_of_error end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/prl/executor.ml b/lib/prl/executor.ml index 6a53656..764281b 100644 --- a/lib/prl/executor.ml +++ b/lib/prl/executor.ml @@ -85,5 +85,3 @@ module Make (Storage : Management.Physical.S) = struct execute_define_function_predicate storage db spec | Ast.ListFunctionPredicates -> execute_list_function_predicates db end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/prl/sublanguage.ml b/lib/prl/sublanguage.ml index b23f370..13df9c6 100644 --- a/lib/prl/sublanguage.ml +++ b/lib/prl/sublanguage.ml @@ -17,5 +17,3 @@ module Make (Storage : Management.Physical.S) = struct let execute = Exec.execute let sexp_of_error = Exec.sexp_of_error end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/scl/executor.ml b/lib/scl/executor.ml index d48d852..eb1f4b6 100644 --- a/lib/scl/executor.ml +++ b/lib/scl/executor.ml @@ -69,5 +69,3 @@ module Make (Storage : Management.Physical.S) = struct Session.close reg ~id:cursor; Ok (Closed db) end - -module Memory = Make (Management.Physical.Memory) diff --git a/lib/scl/sublanguage.ml b/lib/scl/sublanguage.ml index 722ba08..4df5642 100644 --- a/lib/scl/sublanguage.ml +++ b/lib/scl/sublanguage.ml @@ -23,5 +23,3 @@ module Make (Storage : Management.Physical.S) = struct let sexp_of_error = Exec.sexp_of_error end - -module Memory = Make (Management.Physical.Memory) -- cgit v1.2.3