Commit 05e3fb7f authored by POTTIER Francois's avatar POTTIER Francois

Comment.

parent 314c644a
......@@ -143,6 +143,10 @@ let parser_configuration () =
that [parserMessages.messages] covers all possible syntax errors. *)
if fancy() then begin
generic_compile_errors true;
(* We might wish to perform the completeness check only if [Sys.word_size]
is at least 64. Indeed, on a 32-bit machine, [menhir --list-errors] is
restricted to small grammars. For the moment, this works, because our
grammar is small enough. *)
generic_completeness_check()
end
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment