Add information about emitting terminals to the debug output.

dmbaturin · Feb 16, 2021 · afad9ff · afad9ff
1 parent bf6c946
commit afad9ff
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/lib/grammar.ml b/src/lib/grammar.ml
@@ -157,7 +157,9 @@ let reduce_symbol ?(debug=false) ?(debug_fun=print_endline) sym_stack grammar =
   | [] -> (None, [])
   | sym :: syms ->
     match sym with
-    | Terminal t -> (Some t, syms)
+    | Terminal t ->
+      let () = if debug then Printf.ksprintf debug_fun "Emitting terminal \"%s\"" t in
+      (Some t, syms)
     | Nonterminal name ->
       let () = if debug then Printf.ksprintf debug_fun "Reducing symbol <%s>" name in
       let rhs = find_production name grammar in