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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Interesting article on ARG work
Date: Mon, 9 Apr 2018 15:14:59 -0500
Organization: JSA Research & Innovation
Message-ID: <paghk4$pnv$1@franka.jacob-sparre.dk>
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>
Injection-Date: Mon, 9 Apr 2018 20:15:00 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="26367"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:51422
Date: 2018-04-09T15:14:59-05:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> wrote in message 
news:80db2d05-744f-4201-ba1b-4436f8040491@googlegroups.com...
On Saturday, April 7, 2018 at 5:11:35 AM UTC-5, Dmitry A. Kazakov wrote:
>> Yes, this is important but I think this could be resolved, e.g. by
>> compiling conditionals into corresponding null-effect constructs.

>Yeah, right.  This is an artificially contrived "problem" that is in fact
>not extant in reality.  Simply put the @ symbols in front of the .entire.
>construct to elide:  the entire else branch.
>
>    if Foo then
>           Bar;
>@ else
>@        Internal_Error;
>    endif;

Of course the fix is easy. But your definition of "artificially contrived" 
is pretty strange -- this is a mistake I make literally every week that I 
work on Janus/Ada. (I compile it both ways periodically to detect such 
mistakes, there's always several each time.)

The existence of an easy work-around has no effect on the human-factors part 
of this -- if there is an easy way to make a mistake, it will be made (and 
frequently).

Case in point: I've been using this feature regularly for 38+ years, I'm 
well aware of this concern, and I *still* make it regularly. (I do often see 
the mistake before compiling, but going back to fix it is just an extra 
step.)That's pretty much the definition of dangerous language design.

                      Randy.