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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,8e3846c1cde190af X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.68.35.131 with SMTP id h3mr22507649pbj.1.1322434866277; Sun, 27 Nov 2011 15:01:06 -0800 (PST) Path: lh20ni26055pbb.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: GNAT and =?UTF-8?B?4oCccHJhZ21hIFJlc3RyaWN0aW9ucyAoTm9fSW1wbA==?= =?UTF-8?B?ZW1lbnRhdGlvbl9QcmFnbWFzKTvigJ0=?= Date: Mon, 28 Nov 2011 00:01:08 +0100 Organization: A noiseless patient Spider Message-ID: References: Mime-Version: 1.0 Injection-Date: Sun, 27 Nov 2011 23:01:05 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="cJo7kSTQUrCFv2/D8KKtqw"; logging-data="20917"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19CFqIONevptoKUoabyeOC8" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:8.0) Gecko/20111105 Thunderbird/8.0 In-Reply-To: Cancel-Lock: sha1:jwlyt/ye5AbB292K5Z7kGvAzbGw= Xref: news2.google.com comp.lang.ada:14690 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Date: 2011-11-28T00:01:08+01:00 List-Id: Le 27/11/2011 23:00, Yannick Duchêne (Hibou57) a écrit : > Is this normal behavior or not ? If a gnat.adc file contains > > pragma Restrictions (No_Implementation_Pragmas); > > Then at compile time, I get restrictions violation error for each type > and subprogram predicate. Cannot use any “with Pre => …” and others. Or > may be I did not understood the meaning of this pragma ? > Pre and post conditions were implemented as (implementation defined) pragmas in Gnat 2005. Gnat implements the 2012 aspects by translating them into pragmas. Therefore, it is not surprising that they might still be flagged as implementation defined... Worth reporting to AdaCore. -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Adalog a déménagé / Adalog has moved: 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00