From: ncohen@watson.ibm.com (Norman H. Cohen)
Subject: Re: Two ideas for the next Ada standard
Date: 1996/09/09
Date: 1996-09-09T00:00:00+00:00 [thread overview]
Message-ID: <511cvg$h8u@watnews1.watson.ibm.com> (raw)
In-Reply-To: DxC1Lv.BtL@world.std.com
In article <DxC1Lv.BtL@world.std.com>, bobduff@world.std.com (Robert A Duff)
writes:
|> In article <50q1b8$1c0a@watnews1.watson.ibm.com>,
|> Norman H. Cohen <ncohen@watson.ibm.com> wrote:
|> >Surely that could also be explained away as a "source representation
|> >issue": A with clause in a .adp file (a separately compiled private
|> >part) is just a representation of the identical with clause appearing on
|> >the entire package spec.
|>
|> But what if the private part says "with P", but the visible part
|> references P? Ada says this is legal, but one would expect it to be
|> illegal.
One would only expect it to be illegal if he had not read gnatinfo.txt
carefully. ;-)
(I am referring, of course, to a hypothetical version of gnatinfo.txt
that would describe this hypothetical change to GNAT's treatment of with
clauses.)
--
Norman H. Cohen ncohen@watson.ibm.com
next prev parent reply other threads:[~1996-09-09 0:00 UTC|newest]
Thread overview: 97+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-08-28 0:00 Two ideas for the next Ada standard Van Snyder
1996-08-29 0:00 ` Dale Stanbrough
1996-08-30 0:00 ` Robert A Duff
1996-08-30 0:00 ` Adam Beneschan
1996-08-31 0:00 ` Robert A Duff
1996-08-31 0:00 ` Robert Dewar
1996-09-04 0:00 ` Dennison
1996-09-05 0:00 ` Robert Dewar
1996-09-05 0:00 ` Dennison
1996-09-06 0:00 ` Robert Dewar
1996-09-07 0:00 ` Dennison
1996-09-07 0:00 ` Robert Dewar
1996-09-06 0:00 ` Norman H. Cohen
1996-09-06 0:00 ` Robert Dewar
1996-09-06 0:00 ` Robert A Duff
1996-09-06 0:00 ` Robert Dewar
1996-09-09 0:00 ` Norman H. Cohen [this message]
1996-09-07 0:00 ` Keith Thompson
1996-09-12 0:00 ` Robert Dewar
1996-09-02 0:00 ` Geert Bosch
1996-09-02 0:00 ` Robert A Duff
1996-08-30 0:00 ` Peter Hermann
1996-08-30 0:00 ` Michael F Brenner
1996-08-30 0:00 ` Robert A Duff
1996-08-30 0:00 ` Robert Dewar
1996-08-31 0:00 ` Robert A Duff
1996-08-31 0:00 ` Robert Dewar
1996-09-01 0:00 ` Robert A Duff
1996-08-31 0:00 ` Robert Dewar
1996-09-01 0:00 ` Robert A Duff
1996-09-02 0:00 ` Laurent Guerby
1996-09-02 0:00 ` Robert Dewar
1996-09-03 0:00 ` Laurent Guerby
1996-09-03 0:00 ` Robert Dewar
1996-09-04 0:00 ` Adam Beneschan
1996-09-06 0:00 ` private parts (was: Two ideas for the next Ada standard) Arthur Evans Jr
1996-09-03 0:00 ` Two ideas for the next Ada standard Laurent Guerby
1996-09-03 0:00 ` Robert Dewar
-- strict thread matches above, loose matches on Subject: below --
1996-08-31 0:00 Re:Two ideas for the next Ada Standard dulman
1996-09-01 0:00 ` Two " Robert Dewar
1996-09-01 0:00 ` Robert Dewar
1996-09-03 0:00 ` Jonas Nygren
1996-09-03 0:00 ` Richard A. O'Keefe
1996-09-03 0:00 ` Jonas Nygren
1996-09-03 0:00 ` Robert A Duff
1996-09-04 0:00 ` Robert Dewar
1996-09-04 0:00 ` Richard A. O'Keefe
1996-09-03 0:00 ` Robert A Duff
1996-09-03 0:00 ` Dale Stanbrough
1996-09-04 0:00 ` Two " Richard A. O'Keefe
1996-09-03 0:00 ` Adam Beneschan
1996-09-04 0:00 ` Richard A. O'Keefe
1996-09-05 0:00 ` Robert A Duff
1996-09-06 0:00 ` Richard A. O'Keefe
1996-09-06 0:00 ` Robert A Duff
1996-09-06 0:00 ` Robert Dewar
1996-09-10 0:00 ` Richard A. O'Keefe
1996-09-10 0:00 ` Mark A Biggar
1996-09-10 0:00 ` Robert Dewar
1996-09-05 0:00 ` Robert Dewar
1996-09-06 0:00 ` Richard A. O'Keefe
1996-09-04 0:00 ` Robert Dewar
1996-09-10 0:00 ` Robert I. Eachus
1996-09-03 0:00 ` Peter Hermann
1996-09-04 0:00 ` Robert Dewar
1996-09-04 0:00 ` Larry Kilgallen
1996-09-04 0:00 ` Robert Dewar
1996-09-04 0:00 ` Robert Dewar
1996-09-03 0:00 ` Larry Kilgallen
1996-09-03 0:00 ` Jon S Anthony
1996-09-04 0:00 ` Joel VanLaven
1996-09-04 0:00 ` David Weller
1996-09-04 0:00 ` Jon S Anthony
1996-09-04 0:00 ` Robert A Duff
1996-09-04 0:00 ` Jonas Nygren
1996-09-06 0:00 ` Tucker Taft
1996-09-08 0:00 ` Jon S Anthony
1996-09-08 0:00 ` Robert Dewar
1996-09-09 0:00 ` John G. Volan
1996-09-09 0:00 ` Jon S Anthony
1996-09-04 0:00 ` Jon S Anthony
1996-09-05 0:00 ` Mark A Biggar
1996-09-05 0:00 ` Robert A Duff
1996-09-05 0:00 ` Robert I. Eachus
1996-09-06 0:00 ` Jon S Anthony
1996-09-07 0:00 ` Jonas Nygren
1996-09-08 0:00 ` Jon S Anthony
1996-09-08 0:00 ` Robert A Duff
1996-09-08 0:00 ` Jon S Anthony
1996-09-05 0:00 ` Jon S Anthony
1996-09-06 0:00 ` Jon S Anthony
1996-09-06 0:00 ` Jon S Anthony
1996-09-10 0:00 ` Samuel Tardieu
1996-09-10 0:00 ` Norman H. Cohen
1996-09-11 0:00 ` Jon S Anthony
1996-09-04 0:00 Bob Mathis
1996-09-04 0:00 Marin David Condic, 407.796.8997, M/S 731-93
1996-09-06 0:00 ` Jon S Anthony
1996-09-06 0:00 Marin David Condic, 407.796.8997, M/S 731-93
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox