Commit 0bdd5a54 authored by POTTIER Francois's avatar POTTIER Francois

New function [Lr0.has_eos_conflict_lr1state].

parent 2da1a416
Pipeline #96426 passed with stages
in 23 seconds
......@@ -690,3 +690,8 @@ let has_eos_conflict transitions reductions =
only if either there exists another shift or reduce action. *)
not (TerminalMap.is_empty reductions) ||
SymbolMap.exists (fun symbol _ -> Symbol.is_terminal symbol) transitions
let has_eos_conflict_lr1state (state : lr1state) =
has_eos_conflict
(transitions state)
(reductions_table state)
......@@ -184,3 +184,4 @@ val reduction_tokens: reductions -> TerminalSet.t
at least one other (shift or reduce) action. *)
val has_eos_conflict: 'target SymbolMap.t -> reductions -> bool
val has_eos_conflict_lr1state: lr1state -> 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