Re: if-then-no-else Programming

[Dennis Lee Bieber <wlfraed@ix.netcom.com>]

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/