From 737b4c19d14a12e05ec862d23f8f29ff790a73c2 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 27 Feb 2025 23:20:45 -0300 Subject: add partition and debugger --- bin/dune | 2 ++ bin/main.ml | 4 +++- 2 files changed, 5 insertions(+), 1 deletion(-) (limited to 'bin') diff --git a/bin/dune b/bin/dune index 092d83a..b492bd7 100644 --- a/bin/dune +++ b/bin/dune @@ -1,5 +1,7 @@ (executable (public_name relational_engine) (name main) + (modules main) (libraries relational_engine) + (package relational_engine) (modes byte exe)) diff --git a/bin/main.ml b/bin/main.ml index 5888b2b..5f63adb 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,7 +1,9 @@ +let main () = + Relational_engine.Server.start () let () = (* let response = *) (* Relational_engine.Relation.write_and_retrieve() *) (* in match response with *) (* | Ok response -> print_endline response *) (* | Error err -> print_endline err; *) - Relational_engine.Server.start () + main() -- cgit v1.2.3