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.224.205.65 with SMTP id fp1mr7737616qab.4.1354627314240; Tue, 04 Dec 2012 05:21:54 -0800 (PST) Received: by 10.49.58.140 with SMTP id r12mr2926649qeq.35.1354627314185; Tue, 04 Dec 2012 05:21:54 -0800 (PST) Path: gf5ni47564750qab.0!nntp.google.com!c8no232557qao.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 4 Dec 2012 05:21:54 -0800 (PST) In-Reply-To: <85624ius4w.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> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <87dfdfb0-e6e9-4b19-a203-49bc17f873f6@googlegroups.com> Subject: Re: Return unconstrained types in ZFP From: Britt Injection-Date: Tue, 04 Dec 2012 13:21:54 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-12-04T05:21:54-08:00 List-Id: 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.