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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.99.0.142 with SMTP id 136mr409773pga.148.1479355198993; Wed, 16 Nov 2016 19:59:58 -0800 (PST) X-Received: by 10.157.56.132 with SMTP id p4mr62123otc.20.1479355198950; Wed, 16 Nov 2016 19:59:58 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!w132no364311ita.0!news-out.google.com!x12ni1253ita.0!nntp.google.com!w132no364310ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 16 Nov 2016 19:59:58 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=74.51.4.208; posting-account=7Oy7OQoAAABhVYFOo553Cn1-AaU-bSfl NNTP-Posting-Host: 74.51.4.208 References: <55194f1c-aba9-47b9-8173-ebd366aed405@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: GnAT Error with Remote_Types and Incomplete Type? From: Eryndlia Mavourneen Injection-Date: Thu, 17 Nov 2016 03:59:58 +0000 Content-Type: text/plain; charset=UTF-8 Xref: news.eternal-september.org comp.lang.ada:32360 Date: 2016-11-16T19:59:58-08:00 List-Id: On Wednesday, November 16, 2016 at 8:42:36 PM UTC-6, Randy Brukardt wrote: > > ... > > Specifically, E.2.2(8) [which you say the compile is citing] says that the > "full view of each type declared in the visible part that has any available > stream attributes shall support external streaming". Since an incomplete > type declares an incomplete view which is obviously not a full view, it > shouldn't be subject to this rule, and thus the error is bogus. > > I'd report it to AdaCore, with the low priority it deserves (since this > specific code is rather nonsense). > > Randy. I will do that, Randy. Thanks for the sanity check. Btw, the error curiously specified the line (4) of the completed type. Eryndlia Mavourneen, KK1T