Commit 8cc8231b authored by POTTIER Francois's avatar POTTIER Francois
Browse files

A tiny simplification.

parent 592dd96e
...@@ -63,7 +63,7 @@ grammar: ...@@ -63,7 +63,7 @@ grammar:
{ {
pg_filename = ""; (* filled in by the caller *) pg_filename = ""; (* filled in by the caller *)
pg_declarations = List.flatten ds; pg_declarations = List.flatten ds;
pg_rules = List.flatten rs; pg_rules = rs;
pg_trailer = t pg_trailer = t
} }
} }
...@@ -227,16 +227,14 @@ rule: ...@@ -227,16 +227,14 @@ rule:
branches = branches branches = branches
{ {
let public, inline = flags in let public, inline = flags in
[ {
{ pr_public_flag = public;
pr_public_flag = public; pr_inline_flag = inline;
pr_inline_flag = inline; pr_nt = Positions.value symbol;
pr_nt = Positions.value symbol; pr_positions = [ Positions.position symbol ];
pr_positions = [ Positions.position symbol ]; pr_parameters = List.map Positions.value params;
pr_parameters = List.map Positions.value params; pr_branches = branches
pr_branches = branches }
}
]
} }
| error | error
{ Error.error (Positions.two $startpos $endpos) "syntax error inside the definition of a nonterminal symbol." } { Error.error (Positions.two $startpos $endpos) "syntax error inside the definition of a nonterminal symbol." }
......
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