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:d30f:: with SMTP id
 n15-v6mr9286551itg.0.1523114869114;
        Sat, 07 Apr 2018 08:27:49 -0700 (PDT)
X-Received: by 2002:a9d:1f58:: with SMTP id
 x24-v6mr1693815otx.9.1523114868776;
 Sat, 07 Apr 2018 08:27: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-v6no788078ita.0!news-out.google.com!u64-v6ni1218itb.0!nntp.google.com!u184-v6no796041ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 7 Apr 2018 08:27:48 -0700 (PDT)
In-Reply-To: <paa5gk$knn$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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <80db2d05-744f-4201-ba1b-4436f8040491@googlegroups.com>
Subject: Re: Interesting article on ARG work
From: "Dan'l Miller" <optikos@verizon.net>
Injection-Date: Sat, 07 Apr 2018 15:27:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:51381
Date: 2018-04-07T08:27:48-07:00
List-Id: <comp.lang.ada>

On Saturday, April 7, 2018 at 5:11:35 AM UTC-5, Dmitry A. Kazakov wrote:
> On 2018-04-07 04:25, Randy Brukardt wrote:
>=20
> > The biggest problem with a lexical solution (and the reason that Ichbia=
h
> > hated them) is that it's trivial to accidentally create a program that =
is
> > only legal in one mode or the other. One has to continually compile
> > everything in each possible mode to ensure that there aren't silly synt=
ax
> > errors involved. A common mistake that I make all of the time is:
> >=20
> >      if Foo then
> >             Bar;
> >      else
> > @        Internal_Error;
> >      end if;
> >=20
> > With the conditional compilation off, the "Internal_Error" is commented=
 out
> > and the above isn't syntactically legal.
>
> Yes, this is important but I think this could be resolved, e.g. by=20
> compiling conditionals into corresponding null-effect constructs.=20

Yeah, right.  This is an artificially contrived =E2=80=9Cproblem=E2=80=9D t=
hat is in fact not extant in reality.  Simply put the @ symbols in front of=
 the =E2=80=A2entire=E2=80=A2 construct to elide:  the entire else branch.

    if Foo then
           Bar;
@ else
@        Internal_Error;
    endif;