From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Error in draft 17 grammar
Date: Tue, 19 Feb 2019 17:35:01 -0600
Date: 2019-02-19T17:35:01-06:00 [thread overview]
Message-ID: <q4i3r5$kqo$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: be97c232-8a6b-4159-ab65-097d5e572b9d@googlegroups.com
>Lucretia" <laguest9000@googlemail.com> wrote in message
>news:be97c232-8a6b-4159-ab65-097d5e572b9d@googlegroups.com...
> 4.3.5:
> key_choice ::= key_expression | discrete_range}
>
> I assume it should be:
>
> 4.3.5:
> key_choice ::= key_expression {| discrete_range}
>
> ?
No, it's a stray '}'. Just delete it. If you've ever looked at the source
files, they're chock full of square and curly brackets (mainly because the
other delimiters that Scribe allowed appear in too much Ada text to use them
frequently -- Scribe doesn't have a quoting mechanism, rather it has six
pairs of delimiters, and you have to put a pair that isn't used in the
actual text. Yuck.) So these happen periodically, and syntax is the worst
(since it uses ] and } and ) and might use >, or " or '). I haven't yet
found something that uses something from all six pairs, but it wouldn't
surprise me if I did.
Anyway, it's best to send these sorts of comments directly to me (using the
agent e-mail) or to the Ada-Comment list. Best not to hope I find them
somewhere else.
Randy.
next prev parent reply other threads:[~2019-02-19 23:35 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-19 22:06 Error in draft 17 grammar Lucretia
2019-02-19 23:35 ` Randy Brukardt [this message]
2019-02-20 0:01 ` Lucretia
2019-02-20 9:43 ` Stéphane Rivière
2019-02-20 9:54 ` Lucretia
2019-02-20 23:40 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox