Forsake `module Memory` throughout

15 files changed, 0 insertions, 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)