🐛 Fix stack overflow

bin/main.ml

@@ -23,10 +23,12 @@ let () =
       let pgm = Parser.program Lexer.start lexbuf in
       let _ = print_endline "=== Printing Input Program ===" in
       pp pgm;
-      let _ = print_endline "=== Printing Output Program ===" in
+      let _ = print_endline "=== Gathering Functions ===" in
       let open Compiler in
       let env = gather_functions pgm in
-      let graph, _de = compile env Pred.Empty pgm.exp in
+      let _ = print_endline "=== Compiling Output Program ===" in
+      let graph, _de = compile''' env Pred.Empty pgm.exp in
+      let _ = print_endline "=== Printing Output Program ===" in
       Printf.printf "%s" (Graph.pp graph)
     with Parsing.Parse_error ->
       print_endline ("Parsing Error: " ^ lexbuf_contents lexbuf)

lib/compiler.ml

@@ -57,9 +57,10 @@ let gather_functions (prog : program) : Env.t =
 
 exception Not_closed_observation
 
-let compile (env : Env.t) (pred : Pred.t) (exp : Exp.t) : Graph.t * Det_exp.t =
+let compile''' (env : Env.t) (pred : Pred.t) (exp : Exp.t) : Graph.t * Det_exp.t
+    =
   let rec compile pred =
-    let compile' = compile pred in
+    let compile' e = compile pred e in
     let open Graph in
     function
     | Exp.Int n -> (Graph.empty, Det_exp.Int n)

lib/compiler.mli

@@ -5,4 +5,4 @@ val gather_functions : Program.program -> Env.t
 
 exception Not_closed_observation
 
-val compile : Env.t -> Pred.t -> Program.Exp.t -> Graph.t * Program.Det_exp.t
+val compile''' : Env.t -> Pred.t -> Program.Exp.t -> Graph.t * Program.Det_exp.t