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!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!Xl.tags.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 20 Apr 2016 06:26:18 -0500
From: Dennis Lee Bieber <wlfraed@ix.netcom.com>
Newsgroups: comp.lang.ada
Subject: Re: if-then-no-else  Programming
Date: Wed, 20 Apr 2016 07:26:21 -0400
Organization: IISS Elusive Unicorn
Message-ID: <rkpehbhpshpv4c5huklh1hmuh77at8nltk@4ax.com>
References: <1mlx1gf.ebrae11jak5tyN%csampson@inetworld.net>
 <nf6279$5r1$1@loke.gir.dk> <1mlzbr3.1ivik7416ts9sjN%csampson@inetworld.net>
X-Newsreader: Forte Agent 6.00/32.1186
X-No-Archive: YES
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Usenet-Provider: http://www.giganews.com
NNTP-Posting-Host: 108.68.176.206
X-Trace: 
 sv3-FBoENM4ifCCc6iolIGMtxblsNr4sqO8wXZ7ygDo7KAYVMsK0kbaOQcp/bNEeva6z/RcSx/Ki4svAvmk!kXWkX40EogEF32aECfNnxW8iuRF2BRcQ24iHx6VeaVWVChJ6r5uCf8n8doK2KvO2rptHA05l0+rz!6x2/JLnEDpAfFRB2l28gIJxx+RZD
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1988
Xref: news.eternal-september.org comp.lang.ada:30207
Date: 2016-04-20T07:26:21-04:00
List-Id: <comp.lang.ada>

On Wed, 20 Apr 2016 00:56:39 -0700, csampson@inetworld.net (Charles H.
Sampson) declaimed the following:

>
>Don't hold me to this, but I have this vague memory that somewhere back
>at the beginning of Ada there was a proposal that every if-statement had
>to have an else-statement. I don't remember if it was one of the early
>incarnations of Ada, somebody's proposed coding style, on one of the
>non-green language proposals.
>

	Sounds like a coding style conducive to certification of
safety-critical software.

	Of course, it then contends with the other aspect of removing dead code
(unless it can be demonstrated that the compiler always optimizes away the
Null branch). <G>

-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
    wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/