From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Two ideas for the next Ada standard
Date: 1996/09/06
Date: 1996-09-06T00:00:00+00:00 [thread overview]
Message-ID: <DxC1Lv.BtL@world.std.com> (raw)
In-Reply-To: 50q1b8$1c0a@watnews1.watson.ibm.com
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.
I'm curious as to the intended syntax of the private part. Is it just
the stuff after "private"? So the file starts with some (indented)
declarations? Quite legal, but a bit ugly, especially since its
semantics depends on its file name (just like in C, heh, heh).
>The source-representation argument can be used to justify any language
>extension whose use can be transformed statically into what we would all
>recognize as standard Ada. The argument is easily abused, and I think
>that anyone applying that argument too extremely will lose his
>credibility.
If this person provides a computer program that can translate from the
weird source representation into a more recognizable one, then that
would go a long way toward preserving that person's credibility!
- Bob
next prev parent reply other threads:[~1996-09-06 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 A Duff [this message]
1996-09-06 0:00 ` Robert Dewar
1996-09-09 0:00 ` Norman H. Cohen
1996-09-06 0:00 ` Robert Dewar
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-03 0:00 ` Jon S Anthony
1996-09-04 0:00 ` Joel VanLaven
1996-09-04 0:00 ` David Weller
1996-09-03 0:00 ` Jonas Nygren
1996-09-03 0:00 ` Richard A. O'Keefe
1996-09-03 0:00 ` Robert A Duff
1996-09-03 0:00 ` Adam Beneschan
1996-09-03 0:00 ` Dale Stanbrough
1996-09-04 0:00 ` Two " Richard A. O'Keefe
1996-09-04 0:00 ` Robert Dewar
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 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-06 0:00 ` Robert A Duff
1996-09-05 0:00 ` Robert Dewar
1996-09-06 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 ` 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-04 0:00 ` Jon S Anthony
1996-09-05 0:00 ` Robert A Duff
1996-09-05 0:00 ` Mark A Biggar
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-04 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 ` Jon S Anthony
1996-09-08 0:00 ` Robert A Duff
1996-09-01 0:00 ` Robert Dewar
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 ` Norman H. Cohen
1996-09-10 0:00 ` Samuel Tardieu
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