refactor: add more pp functions for debugging

ocaml · Sep 17, 2024 · a9f4892 · a9f4892
1 parent 1e8fff2
commit a9f4892
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/automata.ml b/lib/automata.ml
@@ -308,7 +308,7 @@ module E = struct
         print_state_rec ch e y)
   ;;
 
-  let _pp ch t = print_state_lst ch [ t ] { id = 0; def = Eps }
+  let pp ch t = print_state_lst ch [ t ] { id = 0; def = Eps }
 end
 
 module Desc = struct
@@ -345,6 +345,10 @@ module Desc = struct
     | TSeq (kind, l, x) :: r -> TSeq (kind, set_idx idx l, x) :: set_idx idx r
     | TExp (marks, x) :: r -> TExp (Marks.marks_set_idx marks idx, x) :: set_idx idx r
   ;;
+
+  let[@ocaml.warning "-32"] pp fmt t =
+    Format.fprintf fmt "[%a]" (Format.pp_print_list ~pp_sep:(Fmt.lit "; ") E.pp) t
+  ;;
 end
 
 module State = struct