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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,99e73f65ea2533b9
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps82.POSTED!53ab2750!not-for-mail
Sender: blaak@METROID
Newsgroups: comp.lang.ada
Subject: Re: and then... (a curiosity)
References: 
 <18b41828-bda4-4484-8884-ad62ce1c831d@f36g2000hsa.googlegroups.com>
 <57qdnfULQ9tzKCHVnZ2dnUVZ_tHinZ2d@comcast.com>
 <Pine.LNX.4.64.0809020925030.9968@medsec1.medien.uni-weimar.de>
 <48bd0003$1@news.post.ch>
 <Pine.LNX.4.64.0809021210200.10279@medsec1.medien.uni-weimar.de>
 <uej40hg9g.fsf@stephe-leake.org>
 <Pine.LNX.4.64.0809040835270.21815@medsec1.medien.uni-weimar.de>
 <48bf90bf$0$30032$dbd4d001@news.euronet.nl>
 <Pine.LNX.4.64.0809041404570.22581@medsec1.medien.uni-weimar.de>
 <48bffbb7$0$74166$dbd49001@news.euronet.nl>
 <Pine.LNX.4.64.0809042106410.25707@medsec1.medien.uni-weimar.de>
 <Pine.LNX.4.64.0809042139540.26030@medsec1.medien.uni-weimar.de>
 <48c039bd$0$11086$9b4e6d93@newsspool1.arcor-online.net>
 <Pine.LNX.4.64.0809050858240.27752@medsec1.medien.uni-weimar.de>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Message-ID: <ur67znlq4.fsf@STRIPCAPStelus.net>
Organization: The Transcend
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Fri, 05 Sep 2008 06:35:47 GMT
NNTP-Posting-Host: 154.20.96.87
X-Trace: edtnps82 1220596547 154.20.96.87 (Fri, 05 Sep 2008 00:35:47 MDT)
NNTP-Posting-Date: Fri, 05 Sep 2008 00:35:47 MDT
Xref: g2news2.google.com comp.lang.ada:7665
Date: 2008-09-05T06:35:47+00:00
List-Id: <comp.lang.ada>

stefan-lucks@see-the.signature writes:
> But "if False and Function_Call_That_Raises_An_Exception" ideally should 
> not propagate the exception raised in the function call, but evaluate to 
> false.

If the function executes, then of course the exception should be
propogated. Otherwise you have silent errors.

The only way out is to not evaluate the function at all.

But that is just "and then".

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.