comp.lang.ada
 help / color / mirror / Atom feed
From: jsa@alexandria.organon.com (Jon S Anthony)
Subject: Re: Which compiler is correct?
Date: 1997/06/26
Date: 1997-06-26T00:00:00+00:00	[thread overview]
Message-ID: <JSA.97Jun26132225@alexandria.organon.com> (raw)
In-Reply-To: EC3t3q.BzJ@world.std.com


In article <EC3t3q.BzJ@world.std.com> bobduff@world.std.com (Robert A Duff) writes:

> >b) Bad_Obj is _fully_ declared at this point and so will never get the
> >implicit declaration of Parent's i component.
> 
> No, that's not quite right.

By which you mean that it _will_ get Parent's i component eventually
even though it is fully declared here, right?  So, being a private
declaration is irrelevant.  I think that is what I let lead me astray.


> >> private
> 
> At *this* point, an "additional characteristic" (see 7.3.1(3-4)) of
> Parent.Obj (namely, the existence of I) becomes visible, and since this
> is within the immediate scope of Bad_Obj, it gets an I, too.  By magic.
                                                                ^^^^^^^^
;-).


> >I think this all falls out of the rules in 7.3.1, and in particular
> >pay close attention to what is said in (3).
> 
> Closer attention than that.  ;-)

:-).  The odd thing is, that going back and reading it just now (and
(4)...) after reading your comments here, it seems pretty darn clear
and straight-forward.


/Jon
-- 
Jon Anthony
OMI, Belmont, MA 02178
617.484.3383
"Nightmares - Ha!  The way my life's been going lately,
 Who'd notice?"  -- Londo Mollari




  reply	other threads:[~1997-06-26  0:00 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-06-17  0:00 Which compiler is correct? Tom Moran
1997-06-18  0:00 ` Robert A Duff
1997-06-18  0:00   ` John Woodruff
1997-06-19  0:00     ` Robert A Duff
1997-06-20  0:00     ` Jon S Anthony
1997-06-21  0:00       ` Robert A Duff
1997-06-26  0:00         ` Jon S Anthony [this message]
1997-06-19  0:00   ` Simon Wright
1997-06-20  0:00     ` Jon S Anthony
1997-06-21  0:00       ` Robert A Duff
1997-06-21  0:00     ` Robert A Duff
1997-06-21  0:00       ` Simon Wright
1997-06-23  0:00       ` Mats.Weber
1997-06-24  0:00         ` Jon S Anthony
1997-06-18  0:00 ` Pascal Obry
1997-06-18  0:00   ` Tom Moran
  -- strict thread matches above, loose matches on Subject: below --
1996-09-10  0:00 Which compiler is correct?? Robert B. Love 
1996-09-10  0:00 ` Robert Dewar
1996-09-11  0:00   ` Robert B. Love 
1996-09-10  0:00 ` Robert Dewar
1996-09-11  0:00 ` Robert A Duff
1996-09-12  0:00   ` Ken Cowan
1996-09-12  0:00   ` Ken Cowan
1996-09-13  0:00   ` Jon S Anthony
1996-09-11  0:00 ` Jon S Anthony
1996-09-12  0:00 ` Tucker Taft
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox