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!m36g2000hse.googlegroups.com!not-for-mail From: =?ISO-8859-1?Q?Santiago_Urue=F1a?= Newsgroups: comp.lang.ada Subject: Re: Proposal: pragma Assumption Date: Wed, 28 May 2008 00:54:52 -0700 (PDT) Organization: http://groups.google.com Message-ID: <4d2bb014-c956-454b-bcfb-a98cd524e5b4@m36g2000hse.googlegroups.com> References: <30917be5-1446-417c-8a4e-18b2f9a1f420@b1g2000hsg.googlegroups.com> <97479cac-db1a-4654-949b-2caa45031cf1@t54g2000hsg.googlegroups.com> 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 1211961292 29156 127.0.0.1 (28 May 2008 07:54:52 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 28 May 2008 07:54:52 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: m36g2000hse.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:411 Date: 2008-05-28T00:54:52-07:00 List-Id: > I used Portability for one of many things that proves Ada is a > better language. And conditional compiling help to destoys that. > Nobody is discussing that > ------------------- > -- Unimplemented; -- > ------------------- > > procedure Unimplemented is > begin > Ada.Exceptions.Raise_Exception > (Program_Error'Identity, "interrupts/signals not implemented"); > raise Program_Error; > end Unimplemented; > > Then call "Unimplemented;" where needed. and remove the call when > routine is corrected. > I also considered this approach (but of course the procedure was called "Asumption" and it received a boolean parameter :-), but when compiling the final binary you are again at risk of forgetting to search for any remaining calls to that procedure or to remove its body (people make that kind of mistakes all the time). Instead, with pragma Assumption the compiler will warn you, anyway it is common practice to have different compilations options for each development phase, and unless that option is explicitly added the compiler will reject any occurrence of that pragma. > -- > -- Specification Package: TODO > -- > package ToDo is > > -- > -- List of functions and procedures specification that need to > -- be written. > -- > > end ToDo ; > I didn't considered that, but has the same problems as the procedure Unimplemented > Check the list of rejected Ada 2005 updates. > I did, and I was unable to find any related proposal Cheers, -- Santiago Urue=F1a-Pascual Technical University of Madrid (UPM)