✨ Implement logging and fix a bug (still more to fix)

bin/dune

@@ -1,4 +1,4 @@
 (executable
  (public_name react_trace)
  (name main)
- (libraries react_trace))
+ (libraries react_trace base logs logs.fmt fmt fmt.tty))

bin/main.ml

@@ -1 +1,76 @@
-let () = print_endline "Hello, World!"
+open! Base
+open React_trace
+
+(*let test_prog =*)
+(*  let open Syntax in*)
+(*  Prog.Expr Expr.(View [ Const Unit ])*)
+
+(*let test_prog =*)
+(*  let open Syntax in*)
+(*  Prog.( *)
+(*    Comp*)
+(*      ( { name = "C"; param = "x"; body = Expr.(View [ Const Unit ]) },*)
+(*        Expr Expr.(View [ App { fn = Var "C"; arg = Const Unit } ]) ))*)
+
+(*let test_prog =*)
+(*  let open Syntax in*)
+(*  Prog.( *)
+(*    Comp*)
+(*      ( {*)
+(*          name = "C";*)
+(*          param = "x";*)
+(*          body =*)
+(*            Expr.( *)
+(*              Stt*)
+(*                {*)
+(*                  label = 0;*)
+(*                  stt = "s";*)
+(*                  set = "setS";*)
+(*                  init = Fn { param = "s"; body = Const (Int 42) };*)
+(*                  body =*)
+(*                    Seq*)
+(*                      ( App*)
+(*                          {*)
+(*                            fn = Var "setS";*)
+(*                            arg = Fn { param = "s"; body = Const (Int 42) };*)
+(*                          },*)
+(*                        View [ Const Unit ] );*)
+(*                });*)
+(*        },*)
+(*        Expr Expr.(View [ App { fn = Var "C"; arg = Const Unit } ]) ))*)
+
+let test_prog =
+  let open Syntax in
+  Prog.(
+    Comp
+      ( {
+          name = "C";
+          param = "x";
+          body =
+            Expr.(
+              Stt
+                {
+                  label = 0;
+                  stt = "s";
+                  set = "setS";
+                  init = Fn { param = "s"; body = Const (Int 42) };
+                  body =
+                    Seq
+                      ( Eff
+                          (App
+                             {
+                               fn = Var "setS";
+                               arg = Fn { param = "s"; body = Const (Int 43) };
+                             }),
+                        View [ Const Unit ] );
+                });
+        },
+        Expr Expr.(View [ App { fn = Var "C"; arg = Const Unit } ]) ))
+
+let () =
+  Fmt_tty.setup_std_outputs ();
+  Logs.set_reporter (Logs_fmt.reporter ());
+  Logs.set_level (Some Logs.Debug);
+  Sexp.pp_hum Stdlib.Format.std_formatter (Syntax.Prog.sexp_of_t test_prog);
+  Interp.run test_prog;
+  Stdlib.exit (if Logs.err_count () > 0 then 1 else 0)

dune-project

@@ -24,6 +24,7 @@
    dune
    (ocaml-variants (= 5.1.1+effect-syntax))
    base
+   fmt
    logs
    stdio)
  (tags

lib/batched_queue.ml

@@ -15,10 +15,13 @@ module type S = sig
   val to_list : t -> elt list
   val fold : t -> init:'acc -> f:('acc -> elt -> 'acc) -> 'acc
   val iter : t -> f:(elt -> unit) -> unit
+  val sexp_of_t : t -> Sexp.t
 end
 
 module M (T : sig
   type t
+
+  val sexp_of_t : t -> Sexp.t
 end) : S with type elt := T.t = struct
   type elt = T.t
   type t = { f : elt list; r : elt list }
@@ -46,4 +49,5 @@ end) : S with type elt := T.t = struct
   let to_list { f; r } = f @ List.rev r
   let fold q = List.fold (to_list q)
   let iter q = List.iter (to_list q)
+  let sexp_of_t t = List.sexp_of_t T.sexp_of_t (to_list t)
 end