Re: Ada grammar rules for names too permissive?

[olivermkellogg@gmail.com]

On Tuesday, January 1, 2019 at 9:06:59 PM UTC+1, Stephen Leake wrote:
> > [...]
> 
> This is precisely why I use a generalized LR parser for Emacs Ada mode; I don't have to mess with the published grammar. It works very well in practice.

Hmm... I downloaded org.emacs.ada-mode-6.0.1.tar.bz2, is that what you are talking about?
In there, I see a file ada.wy which seems to be an Ada grammar, is that what you are talking about?

What do you do with 12.3 :

explicit_generic_actual_parameter ::= expression | (variable_)name
| (subprogram_)name | (entry_)name | subtype_mark
| (package_instance_)name

If I leave away the italics I get:

explicit_generic_actual_parameter ::= expression | name
| name | name | subtype_mark
| name

So.. it seems I can answer my own question about solidifying the italics;
that's what should be done, otherwise we get nonsense.