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,cae92f92d6a1d4b1
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.78.MISMATCH!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Execution_Time
Date: Wed, 15 Dec 2010 14:52:25 -0800
Organization: None to speak of
Message-ID: <lnaak6vec6.fsf@nuthaus.mib.org>
References: <ie1ih9$d02$1@news.eternal-september.org>
	<ie2v2k$aps$1@tornado.tornevall.net>
	<ie3gjn$oj$1@news.eternal-september.org>
	<4d05e737$0$6980$9b4e6d93@newsspool4.arcor-online.net>
	<ie66gg$u5h$1@munin.nbi.dk> <op.vno2nwchlzeukk@jellix.jlfencey.com>
	<wcclj3scpvf.fsf@shell01.TheWorld.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx01.eternal-september.org;
 posting-host="9nFTuw1iclElqUG5+//YDQ";
	logging-data="8250"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19hCHHIGWlSe/Zf03y8OFyh"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:ZV9frqYP/tozZUpqgK37qofG9IE=
	sha1:qPlHkiuytrGOfSCXYww79dfdIr4=
Xref: g2news2.google.com comp.lang.ada:16936
Date: 2010-12-15T14:52:25-08:00
List-Id: <comp.lang.ada>

Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> "Vinzent Hoefler" <0439279208b62c95f1880bf0f8776eeb@t-domaingrabbing.de>
> writes:
[...]
>> I agree with Georg here, this is an unnecessary change with no apparent use,
>> it doesn't support neither of the three pillars of the Ada language "safety",
>> "readability", or "maintainability".
>
> It certainly supports readability.  I find this:
>
>     if Debug_Mode then
>         pragma Assert(Is_Good(X));
>     end if;
>
> slightly more readable than:
>
>     if Debug_Mode then
>         null;
>         pragma Assert(Is_Good(X));
>     end if;

So, um, why is Assert a pragma rather than a statement?

   if Debug_Mode then
      assert Is_Good(X);
   end if;

As somebody pointed out, it was defined that way in Ada 80.

Or am I opening a huge can of worms by asking that question?

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Nokia
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"