comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada grammar rules for names too permissive?
Date: Fri, 4 Jan 2019 09:58:25 +0100
Date: 2019-01-04T09:58:25+01:00	[thread overview]
Message-ID: <q0n77h$2e4$1@gioia.aioe.org> (raw)
In-Reply-To: 78b94e7e-521b-46c4-8975-1f4c6afbb4b5@googlegroups.com

On 2019-01-03 23:39, olivermkellogg@gmail.com wrote:
> On Tuesday, January 1, 2019 at 9:44:17 AM UTC+1, Dmitry A. Kazakov wrote:
>> [...]
>>        Never push semantic rules into syntax.
> 
> I'm not so sure about that:
> A nice feature of ANTLR is that is supports semantic predicates which can be embedded in the grammar.
> For example, using sem preds on the basis of symbol tables would permit discerning among indexed_component, type_conversion, function_call.

In presence of overloading, really? Anyway, I see no use in such a 
distinction in general.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de


  reply	other threads:[~2019-01-04  8:58 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-12-29 18:20 Ada grammar rules for names too permissive? olivermkellogg
2018-12-31 21:45 ` Randy Brukardt
2019-01-01  8:44   ` Dmitry A. Kazakov
2019-01-01 19:49     ` Stephen Leake
2019-01-01 20:42       ` Dmitry A. Kazakov
2019-01-02 19:21         ` Stephen Leake
2019-01-02 20:47           ` Dmitry A. Kazakov
2019-01-03 21:45             ` Stephen Leake
2019-01-03 22:34               ` Jere
2019-01-05 18:46                 ` Stephen Leake
2019-01-07 11:11                   ` J-P. Rosen
2019-01-08 18:58                     ` Stephen Leake
2019-01-04  8:53               ` Dmitry A. Kazakov
2019-01-03 22:39     ` olivermkellogg
2019-01-04  8:58       ` Dmitry A. Kazakov [this message]
2019-01-05  8:45         ` Randy Brukardt
2019-01-05 18:50       ` Stephen Leake
2019-01-01 19:46   ` olivermkellogg
2019-01-03 22:36     ` Randy Brukardt
2019-01-01 19:46 ` Stephen Leake
2019-01-01 21:03   ` olivermkellogg
2019-01-02 19:42     ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox