From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:749:: with SMTP id
 f70-v6mr13943419itf.35.1523216928564;
        Sun, 08 Apr 2018 12:48:48 -0700 (PDT)
X-Received: by 2002:a9d:1f58:: with SMTP id
 x24-v6mr1941510otx.9.1523216928428;
 Sun, 08 Apr 2018 12:48:48 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!paganini.bofh.team!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!k65-v6no1555188ita.0!news-out.google.com!15-v6ni807itg.0!nntp.google.com!u184-v6no1573285ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 8 Apr 2018 12:48:48 -0700 (PDT)
In-Reply-To: <pachc4$mkr$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=47.185.233.194;
 posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 47.185.233.194
References: <p9s890$mmt$1@franka.jacob-sparre.dk>
 <1b44444f-c1b3-414e-84fb-8798961487c3@googlegroups.com>
 <62ee0aac-49da-4925-b9aa-a16695b3fc45@googlegroups.com>
 <pa0vga$rbe$1@franka.jacob-sparre.dk>
 <9879872e-c18a-4667-afe5-41ce0f54559f@googlegroups.com>
 <pa3jmj$9n3$1@franka.jacob-sparre.dk>
 <pa4ip3$1ton$1@gioia.aioe.org> <pa67ci$t34$1@franka.jacob-sparre.dk>
 <pa77nc$1pu1$1@gioia.aioe.org> <pa9a6q$ii$1@franka.jacob-sparre.dk>
 <paa5gk$knn$1@gioia.aioe.org>
 <80db2d05-744f-4201-ba1b-4436f8040491@googlegroups.com>
 <paaptu$1pce$1@gioia.aioe.org>
 <59f9ab6d-d6ba-45ff-a6f0-c5699983d9e8@googlegroups.com>
 <pachc4$mkr$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1a390e22-f49f-4028-8e58-ca4d0f51e4b6@googlegroups.com>
Subject: Re: Interesting article on ARG work
From: "Dan'l Miller" <optikos@verizon.net>
Injection-Date: Sun, 08 Apr 2018 19:48:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:51402
Date: 2018-04-08T12:48:48-07:00
List-Id: <comp.lang.ada>

On Sunday, April 8, 2018 at 2:46:15 AM UTC-5, Dmitry A. Kazakov wrote:
>     if Foo then
> @     Bar;
> @  end if;
> @  if Boo then
>        Baz;
>     end if;
>=20
> would not be legal either.

Where =E2=90=A0 is the ASCII/ISO646 space character (presented as a graphic=
al character for visualization herein),

    if Foo then
=E2=90=A0     Bar;
=E2=90=A0  end if;
=E2=90=A0  if Boo then
       Baz;
    end if;

and

    if Foo then
--     Bar;
--  end if;
--  if Boo then
       Baz;
    end if;

both are legal Ada statements, spurious and non sequitur evocations of the =
ARM notwithstanding.

In general, Dmitry, you seem to not understand that a generalized left-righ=
t (GLR) parser would parse both sides of the @ concurrently.  Your entire p=
remise is that it is impossible to parse both presence and absence of @ at =
the same time.  In GLR, you are incorrect.