From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada grammar rules for names too permissive?
Date: Wed, 2 Jan 2019 21:47:19 +0100
Date: 2019-01-02T21:47:19+01:00 [thread overview]
Message-ID: <q0j80m$s8r$1@gioia.aioe.org> (raw)
In-Reply-To: 10d98401-d974-459f-93ed-e0b315b414e8@googlegroups.com
On 2019-01-02 20:21, Stephen Leake wrote:
> On Tuesday, January 1, 2019 at 12:42:36 PM UTC-8, Dmitry A. Kazakov wrote:
>> On 2019-01-01 20:49, Stephen Leake wrote:
>>> On Tuesday, January 1, 2019 at 12:44:17 AM UTC-8, Dmitry A. Kazakov wrote:
>>>> The grammar as written is never the one actually used for whatever
>>>> purpose other than explanation or, maybe, validation. An extreme case
>>>> illustrating why, is source code coloring,
>>>
>>> On the contrary, Emacs Ada mode source code coloring uses a generated parser for the Ada language, with only minimal changes from Annex P.
>>
>> In which case it should not work with syntactically incorrect programs.
>
> No, it has error correction to deal with that.
Ada grammar contains no correction productions.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2019-01-02 20:47 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 [this message]
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
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