En bisonte, es suficiente añadir

%verbose-error 

al archivo para hacer que los errores del analizador sean más detallados. ¿Hay alguna manera de obtener una funcionalidad similar con ocamlyacc?

aquí Es la respuesta para una pregunta similar, pero no pude sacar nada de ella. Así es como llamo a las funciones lexer y analizador:

let rec foo () =
    try
    let line = input_line stdin in
    (try
       let _ = (Parser.latexstatement lexer_token_safe (Lexing.from_string line)) in
         print_string ("SUCCESS\n")
     with
           LexerException s          -> print_string ("$L" ^ line ^ "\n")
         | Parsing.Parse_error       -> print_string ("$P" ^ line ^ "\n")
         | _                         -> print_string ("$S " ^ line ^ "\n"));
    flush stdout;
    foo ();
    with
    End_of_file -> ()
;;
foo ();;