From: Jeremiah <jeremiah.breeden@gmail.com>
Subject: Re: I have no idea why this will not compile.
Date: Sun, 1 May 2016 18:02:53 -0700 (PDT)
Date: 2016-05-01T18:02:53-07:00 [thread overview]
Message-ID: <1e023c25-c996-4b81-84b2-291de8608a89@googlegroups.com> (raw)
In-Reply-To: <3043d4f4-299d-4a8b-b8e9-cb029b1e9e32@googlegroups.com>
On Sunday, May 1, 2016 at 4:55:58 PM UTC-4, John Smith wrote:
> "full view of private extension must be an extension"
>
Take a step back for a second and take some time to carefully read what the message says.
You present two different views of the same type:
Public view:
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 everything that is stated in the public view?
The public view says Logger state is a "new Ada.Finalization.Controlled" and "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 private view meets all the requirements that the public view promises?
prev parent reply other threads:[~2016-05-02 1:02 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-01 3:22 I have no idea why this will not compile John Smith
2016-05-01 4:07 ` Jeffrey R. Carter
2016-05-01 6:47 ` Georg Bauhaus
2016-05-01 21:52 ` John Smith
2016-05-02 7:36 ` Georg Bauhaus
2016-05-01 10:10 ` mockturtle
2016-05-01 20:55 ` John Smith
2016-05-01 23:52 ` Jeffrey R. Carter
2016-05-02 1:02 ` Jeremiah [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox