aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2025-02-27 23:20:45 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2025-02-27 23:20:45 -0300
commit737b4c19d14a12e05ec862d23f8f29ff790a73c2 (patch)
tree3e70dc1de58debfdc01c289a3bf1f49223cd2140 /bin
parent355690f76f3ca895ade25d281beb1eea27e1f53e (diff)
downloadSakura-737b4c19d14a12e05ec862d23f8f29ff790a73c2.tar.gz
Sakura-737b4c19d14a12e05ec862d23f8f29ff790a73c2.zip
add partition and debugger
Diffstat (limited to 'bin')
-rw-r--r--bin/dune2
-rw-r--r--bin/main.ml4
2 files changed, 5 insertions, 1 deletions
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()