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,6b93224dbe2bb55b X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.217.69 with SMTP id ow5mr3493728pbc.0.1354715298358; Wed, 05 Dec 2012 05:48:18 -0800 (PST) Received: by 10.50.213.33 with SMTP id np1mr613924igc.3.1354715298301; Wed, 05 Dec 2012 05:48:18 -0800 (PST) Path: s9ni26043pbb.0!nntp.google.com!kt20no9364767pbb.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 5 Dec 2012 05:48:17 -0800 (PST) In-Reply-To: <85pq2ptbo3.fsf@stephe-leake.org> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=20.132.64.141; posting-account=rdRzuwoAAAAyW3CSBhs_xgfCUJSc1aNt NNTP-Posting-Host: 20.132.64.141 References: <3254b304-ed8b-4601-8a3c-ab3df74d84ad@googlegroups.com> <85boebuxtm.fsf@stephe-leake.org> <85624ius4w.fsf@stephe-leake.org> <87dfdfb0-e6e9-4b19-a203-49bc17f873f6@googlegroups.com> <85pq2ptbo3.fsf@stephe-leake.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <51da13c7-d79e-4d00-814c-72b0992c4b4a@googlegroups.com> Subject: Re: Return unconstrained types in ZFP From: Britt Injection-Date: Wed, 05 Dec 2012 13:48:18 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-12-05T05:48:17-08:00 List-Id: On Tuesday, December 4, 2012 10:34:04 PM UTC-5, Stephen Leake wrote: > Hmm. I wonder what version of GNAT that manual is from? That section (on Restrictions) is missing in the info and html versions in GNAT 7.0.1. I suppose I cheated. AdaCore's "Live Docs" on the Web are usually bleeding edge advance versions. In this case the cover page says: GNAT Pro Reference Manual The GNAT Pro Ada Compiler GNAT Pro Version 7.2.0w Document revision level 287265 Date: 2012/11/29