aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
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()