From 63ae3c930de89af6f85229a467caa3f53cb844a2 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Fri, 3 Apr 2026 16:17:38 -0300
Subject: format

---
 lib/ddl/executor.ml | 82 +++++++++++++++++++++++++----------------------------
 1 file changed, 39 insertions(+), 43 deletions(-)

(limited to 'lib/ddl/executor.ml')

diff --git a/lib/ddl/executor.ml b/lib/ddl/executor.ml
index fbb2f62..d374ffe 100644
--- a/lib/ddl/executor.ml
+++ b/lib/ddl/executor.ml
@@ -1,68 +1,64 @@
 module Make (Storage : Management.Physical.S) = struct
-  module Ops = Manipulation.Make(Storage)
+  module Ops = Manipulation.Make (Storage)
 
   type error =
-    | ParseError        of string
+    | ParseError of string
     | ManipulationError of Manipulation.error
-    | RelationNotFound  of string
+    | RelationNotFound of string
 
   let sexp_of_error e =
     let open Sexplib.Sexp in
     match e with
-    | ParseError s        -> List [Atom "parse-error";        Atom s]
+    | ParseError s -> List [ Atom "parse-error"; Atom s ]
     | ManipulationError e -> Manipulation.sexp_of_error e
-    | RelationNotFound s  -> List [Atom "relation-not-found"; Atom s]
+    | RelationNotFound s -> List [ Atom "relation-not-found"; Atom s ]
 
   let ( let* ) = Result.bind
-
   let wrap_manip r = Result.map_error (fun e -> ManipulationError e) r
 
   let get_rel db name =
-    Ops.get_relation db ~name
-    |> Option.to_result ~none:(RelationNotFound name)
+    Ops.get_relation db ~name |> Option.to_result ~none:(RelationNotFound name)
 
-  let convert_cardinality : Ast.cardinality_spec -> Conventions.Cardinality.t = function
-    | Ast.Finite n          -> Conventions.Cardinality.Finite n
-    | Ast.AlephZero         -> Conventions.Cardinality.AlephZero
-    | Ast.Continuum         -> Conventions.Cardinality.Continuum
+  let convert_cardinality : Ast.cardinality_spec -> Conventions.Cardinality.t =
+    function
+    | Ast.Finite n -> Conventions.Cardinality.Finite n
+    | Ast.AlephZero -> Conventions.Cardinality.AlephZero
+    | Ast.Continuum -> Conventions.Cardinality.Continuum
     | Ast.ConstrainedFinite -> Conventions.Cardinality.ConstrainedFinite
 
-  let execute
-      (storage : Storage.t)
-      (db : Management.Database.t)
-      (stmt : Ast.statement)
-    : (Management.Database.t * string, error) result =
+  let execute (storage : Storage.t) (db : Management.Database.t)
+      (stmt : Ast.statement) : (Management.Database.t * string, error) result =
     match stmt with
     | Ast.CreateDatabase name ->
-      let* db = Ops.create_database storage ~name |> wrap_manip in
-      Ok (db, "Database created: " ^ name)
-
+        let* db = Ops.create_database storage ~name |> wrap_manip in
+        Ok (db, "Database created: " ^ name)
     | Ast.CreateRelation { name; schema = schema_pairs } ->
-      let schema =
-        List.fold_left (fun s (attr, dom) -> Schema.add attr dom s) Schema.empty schema_pairs
-      in
-      let* (db, _) = Ops.create_relation storage db ~name ~schema |> wrap_manip in
-      Ok (db, "Relation created: " ^ name)
-
+        let schema =
+          List.fold_left
+            (fun s (attr, dom) -> Schema.add attr dom s)
+            Schema.empty schema_pairs
+        in
+        let* db, _ =
+          Ops.create_relation storage db ~name ~schema |> wrap_manip
+        in
+        Ok (db, "Relation created: " ^ name)
     | Ast.RetractRelation name ->
-      let* db = Ops.retract_relation storage db ~name |> wrap_manip in
-      Ok (db, "Relation retracted: " ^ name)
-
+        let* db = Ops.retract_relation storage db ~name |> wrap_manip in
+        Ok (db, "Relation retracted: " ^ name)
     | Ast.ClearRelation name ->
-      let* rel    = get_rel db name in
-      let* (db, _) = Ops.clear_relation storage db rel |> wrap_manip in
-      Ok (db, "Relation cleared: " ^ name)
-
+        let* rel = get_rel db name in
+        let* db, _ = Ops.clear_relation storage db rel |> wrap_manip in
+        Ok (db, "Relation cleared: " ^ name)
     | Ast.RegisterDomain { name; cardinality } ->
-      let domain = Domain.make
-        ~name
-        ~generator:(fun _ -> Generator.Error "not enumerable via DDL")
-        ~membership_criteria:(fun _ -> true)
-        ~cardinality:(convert_cardinality cardinality)
-        ~compare:Stdlib.compare
-      in
-      let* db = Ops.register_domain storage db domain |> wrap_manip in
-      Ok (db, "Domain registered: " ^ name)
+        let domain =
+          Domain.make ~name
+            ~generator:(fun _ -> Generator.Error "not enumerable via DDL")
+            ~membership_criteria:(fun _ -> true)
+            ~cardinality:(convert_cardinality cardinality)
+            ~compare:Stdlib.compare
+        in
+        let* db = Ops.register_domain storage db domain |> wrap_manip in
+        Ok (db, "Domain registered: " ^ name)
 end
 
-module Memory = Make(Management.Physical.Memory)
+module Memory = Make (Management.Physical.Memory)
-- 
cgit v1.2.3