Re: Is it really Ok to assert that the Ada syntax is a context-free grammar ?

[Hibou57 <yannick_duchene@yahoo.fr>]

On 20 fév, 11:34, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> Jeffrey is correct; it is not a "type cast", it is a "type conversion"
> and there is no such thing as "Ada.Unchecked_Cast". Yes, this is nit-
> picking; why would we choose Ada if we didn't care about details and
> wording?

Ok, forgive me for the english mistake : I use either type cast or
type conversion to mean the same thing. I will take care in the futur.

But I'm still not sure about the assertion that it is context free
(while, Ok, the AEM does not tell it is LR(1))

If it need name resolution to figure out what means the construct,
this is not a context-free grammar.

Is this construct the only one of the grammar which is not context-
free, or is there some others ?

It appears to be the only one of the kind, but I'm not sure.

Yannick