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.50.50.99 with SMTP id b3mr11017583igo.10.1462150973441; Sun, 01 May 2016 18:02:53 -0700 (PDT) X-Received: by 10.157.59.34 with SMTP id z31mr349891otb.16.1462150973334; Sun, 01 May 2016 18:02:53 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!i5no1456756ige.0!news-out.google.com!uv8ni51igb.0!nntp.google.com!i5no1456753ige.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 1 May 2016 18:02:53 -0700 (PDT) In-Reply-To: <3043d4f4-299d-4a8b-b8e9-cb029b1e9e32@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=71.171.109.232; posting-account=vk6_JwoAAABkMyHO1YfdP69Hm3CpbdGR NNTP-Posting-Host: 71.171.109.232 References: <15f01439-2333-4482-a37c-3aeb33102c4d@googlegroups.com> <3043d4f4-299d-4a8b-b8e9-cb029b1e9e32@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1e023c25-c996-4b81-84b2-291de8608a89@googlegroups.com> Subject: Re: I have no idea why this will not compile. From: Jeremiah Injection-Date: Mon, 02 May 2016 01:02:53 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:30333 Date: 2016-05-01T18:02:53-07:00 List-Id: On Sunday, May 1, 2016 at 4:55:58 PM UTC-4, John Smith wrote: > "full view of private extension must be an extension" >=20 Take a step back for a second and take some time to carefully read what the= message says. =20 You present two different views of the same type: Public view:=20 type Logger_State is new Ada.Finalization.Controlled with private; Private view: type Logger_State is record Do those match? Is the private view at the very minimum true for everythin= g that is stated in the public view? The public view says Logger state is a "new Ada.Finalization.Controlled" an= d "with private". The private view says it is just a record. Think about = it like a language lawyer would. Can you say without a doubt that the priv= ate view meets all the requirements that the public view promises?