From: Gautier write-only <gautier_niouzes@hotmail.com>
Subject: Re: Ann: Zip-Ada v.42
Date: Sat, 11 Feb 2012 01:35:12 -0800 (PST)
Date: 2012-02-11T01:35:12-08:00 [thread overview]
Message-ID: <2fb5b1b7-da17-424a-a1bb-2cd918a8ca2f@f30g2000yqh.googlegroups.com> (raw)
In-Reply-To: jh4fb9$hbj$1@munin.nbi.dk
On 11 fév, 02:13, "Randy Brukardt" <ra...@rrsoftware.com> wrote:
> > pragma Restrictions (No_Implementation_Attributes);
>
> Right, but that was introduced in Ada 2005, so it probably won't work on
> non-GNAT compilers (or possibly GNAT in Ada 95 mode).
Exact! And of course GNAT itself catches GNAT-isms in some items
outside the Zip-Ada library, like some Zip tool using a
'Unrestricted_Access. (cf experiments in SVN revision 108).
Actually, I found a much better way to check purity, which is building
and testing the library with another compiler (specifically, ObjectAda
7.2.2 SE).
Nothing is worth a second opinion...
Plus, I get from time to time a feedback about other compilers :-).
_________________________
Gautier's Ada programming
http://sf.net/users/gdemont
next prev parent reply other threads:[~2012-02-11 9:35 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-10 12:53 Ann: Zip-Ada v.42 Gautier write-only
2012-02-10 15:59 ` Yannick Duchêne (Hibou57)
2012-02-10 16:22 ` Yannick Duchêne (Hibou57)
2012-02-12 10:26 ` Gautier write-only
2012-02-11 1:13 ` Randy Brukardt
2012-02-11 9:35 ` Gautier write-only [this message]
2012-02-11 13:01 ` Georg Bauhaus
2012-02-11 13:14 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox