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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	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.138.14 with SMTP id qm14mr3263178pbb.5.1354678448099;
        Tue, 04 Dec 2012 19:34:08 -0800 (PST)
Path: 
 s9ni26905pbb.0!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: Return unconstrained types in ZFP
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>
Date: Tue, 04 Dec 2012 22:34:04 -0500
Message-ID: <85pq2ptbo3.fsf@stephe-leake.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (windows-nt)
Cancel-Lock: sha1:HUgCtMv152UgkmGns0c+EUOR/OE=
MIME-Version: 1.0
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: d512450bec0afe029e66100546
X-Received-Bytes: 1326
Content-Type: text/plain
Date: 2012-12-04T22:34:04-05:00
List-Id: <comp.lang.ada>

Britt <britt.snodgrass@gmail.com> writes:

> On Tuesday, December 4, 2012 3:40:47 AM UTC-5, Stephen Leake wrote:
>> Stephen Leake <> writes:
>> Apparently the only list of restrictions in GNAT is in the source code (not a manual);
>
> No, see
> http://docs.adacore.com/gnat-unw-docs/html/gnat_rm_4.html#SEC202 for
> the full list.

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.

-- 
-- Stephe