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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,78447032bdbeb343
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news1.google.com!postnews.google.com!t54g2000hsg.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Santiago_Urue=F1a?= <suruena@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Proposal: pragma Assumption
Date: Tue, 27 May 2008 04:27:34 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <97479cac-db1a-4654-949b-2caa45031cf1@t54g2000hsg.googlegroups.com>
References: <30917be5-1446-417c-8a4e-18b2f9a1f420@b1g2000hsg.googlegroups.com>
	<68a2d09d-c49c-4a61-9a2f-b6fd451913e4@t54g2000hsg.googlegroups.com>
	<cFQ_j.19608$j41.7453@bgtnsc05-news.ops.worldnet.att.net>
NNTP-Posting-Host: 138.4.11.35
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1211887654 31867 127.0.0.1 (27 May 2008 11:27:34
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 27 May 2008 11:27:34 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: t54g2000hsg.googlegroups.com; posting-host=138.4.11.35;
	posting-account=Lcd2wAoAAAADW2SqWO5AWY55Q-jjpVWU
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686; es-ES; rv:1.8.1.10)
	Gecko/20071115 Iceweasel/2.0.0.10
 (Debian-2.0.0.10-0etch1),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:393
Date: 2008-05-27T04:27:34-07:00
List-Id: <comp.lang.ada>

> I did! You stated in that post:
>
> 'SYMPLIFYING_ASSUMPTION' is a macro very similar to the C 'assert', ...
>
What I mean is that in C/C++ it is implemented using a macro, but of
course this would not be the case for Ada (even a C pragma has nothing
to do with the preprocessor).

> In conpilers a "MACRO" is consider to be a "conditional compiling"
> statement!
>
Although macros and conditional compilation are done by the
preprocessor, they are very different (and orthogonal) concepts.

You can compare pragma Assumption with pragma Assert, which is
standard in Ada 2005. Do you think pragma Assert reduces Ada
portability?

--
Santiago Urue=F1a-Pascual
Technical University of Madrid (UPM)