From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Two ideas for the next Ada Standard
Date: 1996/09/08
Date: 1996-09-08T00:00:00+00:00 [thread overview]
Message-ID: <dewar.842196117@schonberg> (raw)
In-Reply-To: JSA.96Sep7203130@alexandria
iJon Anthony asks
"I don't think I could over emphasize my strong agreement with this!
What is the story on actually getting this adopted?
"
(talking about a solution to the circularity problem)
I don't see any chance of officially (i.e. at the ISO level) adopting a
modification to the ISO standard any time soon (say any time in the next
few years).
So what we are looking at here is more like an informal agreement to
provide a non-standard extension. This can be done either completely
informally, or perhaps the ACE can be stretched a little to encompass
the idea of semi-recognized non-standard extensions.
But first, we need to agre on a technical approach (I note that Tuck
has changed his mind on this since we last discussed it). Actually
I prefer Tuck's previous suggestion of "with type", because it makes
it more honestly clear that this is indeed an extension, than
trying to somehow fit it into the pragma semantics, but I think
we need to discuss that. Perhaps the next ARG meeting can find a little
time to discuss it.
next prev parent reply other threads:[~1996-09-08 0:00 UTC|newest]
Thread overview: 98+ messages / expand[flat|nested] mbox.gz Atom feed top
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 ` Larry Kilgallen
1996-09-03 0:00 ` Jonas Nygren
1996-09-03 0:00 ` Peter Hermann
1996-09-04 0:00 ` Robert Dewar
1996-09-04 0:00 ` Larry Kilgallen
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 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-04 0:00 ` Robert Dewar
1996-09-10 0:00 ` Robert I. Eachus
1996-09-04 0:00 ` Robert Dewar
1996-09-04 0:00 ` 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-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 [this message]
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-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
-- strict thread matches above, loose matches on Subject: below --
1996-09-06 0:00 Marin David Condic, 407.796.8997, M/S 731-93
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-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
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-03 0:00 ` Laurent Guerby
1996-09-03 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox