Skip to content

GitLab

M
menhir
Commit ffea9880 authored by POTTIER Francois's avatar POTTIER Francois
Browse files
Options

Indentation.

parent aa0fd778
Hide whitespace changes
Inline Side-by-side
Showing with 4 additions and 4 deletions
src/partialGrammar.ml
View file @ ffea9880
...@@ -587,7 +587,7 @@ let join grammar pgrammar = ...@@ -587,7 +587,7 @@ let join grammar pgrammar =
let check_keywords producers action = let check_keywords producers action =
List.iter (fun keyword -> List.iter (fun keyword ->
match Positions.value keyword with match Positions.value keyword with
| Position (RightNamed id, _, _) -> | Position (RightNamed id, _, _) ->
let found = ref false in let found = ref false in
List.iter (fun (ido, _) -> List.iter (fun (ido, _) ->
if ido.value = id then found := true if ido.value = id then found := true
...@@ -595,9 +595,9 @@ let check_keywords producers action = ...@@ -595,9 +595,9 @@ let check_keywords producers action =
if not !found then if not !found then
Error.errorp keyword Error.errorp keyword
"%s refers to a nonexistent symbol." id "%s refers to a nonexistent symbol." id
| Position (Left, _, _) | Position (Left, _, _)
| SyntaxError -> | SyntaxError ->
() ()
) (Action.pkeywords action) ) (Action.pkeywords action)
let check_parameterized_grammar_is_well_defined grammar = let check_parameterized_grammar_is_well_defined grammar =
......
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