Commit 4bd3c20b authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Obey --dump-resolved at the beginning of the back-end,

instead of in conflicts.ml.

This implies that --dump-resolved has no effect if --strict is enabled
and causes Menhir to stop.
parent 0e9c43d0
......@@ -13,6 +13,13 @@
(* Driver for the back-end. *)
(* The automaton is now frozen and will no longer be modified. It is
time to dump a new description of it, if requested by the user. *)
let () =
if Settings.dump_resolved then
Lr1.dump (Settings.base ^ ".automaton.resolved")
(* Let [Interpret] handle the command line options [--interpret],
[--interpret-error], [--compile-errors], [--compare-errors]. *)
......
......@@ -551,15 +551,6 @@ let () =
Lr1.extra_reductions();
Time.tick "Adding extra reductions"
(* ------------------------------------------------------------------------ *)
(* The automaton is now frozen and will no longer be modified.
It is time to dump a new description of it, if requested by
the user. *)
let () =
if Settings.dump_resolved then
Lr1.dump (Settings.base ^ ".automaton.resolved")
(* ------------------------------------------------------------------------ *)
(* If any warnings about the grammar have been emitted up to this point,
and if [--strict] is enabled, now is the time to stop, before going
......
......@@ -11,7 +11,12 @@
(* *)
(******************************************************************************)
(* This module explains conflicts. Explanations are written
to the .conflicts file. No functionality is offered by this
module. *)
(* This module writes conflict explanations to the file <basename>.conflicts.
Then, it performs conflict resolution and introduces extra reductions.
Finally, if any warnings about the grammar have been emitted up to this
point, and if [--strict] is enabled, then it stops Menhir, before going
into the back-end.
No functionality is offered by this module. *)
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