Commit d43b14f8 authored by POTTIER Francois's avatar POTTIER Francois

Removed [Lr1.ever_reduced].

parent 61697906
......@@ -1665,10 +1665,10 @@ let program =
Nonterminal.foldx (fun nt defs ->
gotodef nt :: defs
) (Production.fold (fun prod defs ->
if Lr1.ever_reduced prod then
reducedef prod :: defs
else
if Lr1.NodeSet.is_empty (Lr1.production_where prod) then
defs
else
reducedef prod :: defs
) [ discarddef; initenvdef; printtokendef; assertfalsedef; errorcasedef ])))
) ::
......
......@@ -978,9 +978,6 @@ let production_where (prod : Production.index) : NodeSet.t =
let may_reduce node prod =
NodeSet.mem node (production_where prod)
let ever_reduced prod =
not (NodeSet.is_empty (production_where prod))
(* ------------------------------------------------------------------------ *)
(* When requested by the code generator, apply default conflict
resolution to ensure that the automaton is deterministic. *)
......
......@@ -189,7 +189,3 @@ val production_where: Production.index -> NodeSet.t
(* [may_reduce s prod] tells whether state [s] may reduce production [prod]. *)
val may_reduce: node -> Production.index -> bool
(* [ever_reduced prod] tells whether production [prod] is ever reduced. *)
val ever_reduced: Production.index -> bool
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