Commit 1d6a1505 authored by POTTIER Francois's avatar POTTIER Francois

Comments.

parent 1cac020a
......@@ -1146,7 +1146,7 @@ let default_conflict_resolution () =
among several possible interpretations. *)
(* The code below looks like the decision on a default reduction in
[Invariant], except we do not impose the absence of outgoing terminal
[Default], except we do not impose the absence of outgoing terminal
transitions. Also, we actually modify the automaton, so the back-ends, the
reference interpreter, etc., need not be aware of this feature, whereas
they are aware of default reductions. *)
......@@ -1154,6 +1154,9 @@ let default_conflict_resolution () =
(* This code can run before we decide on the default reductions; this does
not affect which default reductions will be permitted. *)
(* This code does not affect which productions can be reduced where. Thus,
it is OK for it to run after [initialize_production_where()]. *)
(* A count of how many states receive extra reductions through this mechanism. *)
let extra =
......
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