From: Preben Randhol <randhol@pvv.org>
Subject: Re: Help me to chose between ADA 95 and C++
Date: 1999/12/15
Date: 1999-12-15T12:45:15+00:00 [thread overview]
Message-ID: <m3bt7sv0cv.fsf@kiuk0156.chembio.ntnu.no> (raw)
In-Reply-To: uwvqhbbxy.fsf@gsfc.nasa.gov
Stephen Leake <Stephen.Leake@gsfc.nasa.gov> writes:
| I just wasted a couple of hours on a closely related problem, which I
| propose we call "the snark effect" (see thread "hunting snarks"). I
| changed the profile of the base type operation (one parameter changed
| from "in out" to "access" to avoid an accesibility problem). But I
| forgot to change one of the operations in one of the (many) derived
| types. In similar situations, Ada catches such errors (ie, change spec
| but forget to change body). I'd like Ada to catch this as well.
Yes. :-)
But how should the Ada compiler know that you meant to write:
procedure Eat
and not
procedure Eats
I may have misunderstood the original request, but I don't see how the
Ada compiler could know if you wanted to write Eat or not here.
--
Preben Randhol -- [randhol@pvv.org] -- [http://www.pvv.org/~randhol/]
"Det eneste trygge stedet i verden er inne i en fortelling."
-- Athol Fugard
next prev parent reply other threads:[~1999-12-15 0:00 UTC|newest]
Thread overview: 67+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-26 0:00 Help me to chose between ADA 95 and C++ Robert
1999-11-26 0:00 ` Preben Randhol
1999-11-26 0:00 ` Preben Randhol
1999-11-26 0:00 ` Harald Schmidt
1999-11-26 0:00 ` Andreas Winckler
1999-11-26 0:00 ` Florian Weimer
1999-12-04 0:00 ` Richard D Riehle
[not found] ` <01bf3e32$0b9dc880$022a6282@dieppe>
1999-12-10 0:00 ` Chris Powell
1999-12-13 0:00 ` Richard D Riehle
1999-12-14 0:00 ` Chris Powell
1999-12-14 0:00 ` Simon Wright
1999-12-15 0:00 ` Chris Powell
1999-12-15 0:00 ` Robert A Duff
1999-12-14 0:00 ` Richard D Riehle
1999-12-14 0:00 ` Matthew Heaney
1999-12-14 0:00 ` Ray Blaak
1999-12-14 0:00 ` Larry Kilgallen
1999-12-15 0:00 ` Robert A Duff
2000-01-12 0:00 ` Richard Pinkall-Pollei
1999-12-15 0:00 ` Ted Dennison
1999-12-20 0:00 ` Stefan Skoglund
1999-12-16 0:00 ` Pascal Obry
1999-12-16 0:00 ` Lutz Donnerhacke
1999-12-16 0:00 ` Aidan Skinner
1999-12-16 0:00 ` Rakesh Malhotra
1999-12-21 0:00 ` Geoff Bull
1999-12-21 0:00 ` Robert Dewar
1999-12-21 0:00 ` Chris Powell
1999-12-21 0:00 ` Ted Dennison
1999-12-21 0:00 ` Robert Dewar
1999-12-13 0:00 ` Marin D. Condic
1999-12-13 0:00 ` Brian Rogoff
1999-12-14 0:00 ` Chris Powell
1999-12-14 0:00 ` Preben Randhol
1999-12-14 0:00 ` Stephen Leake
1999-12-14 0:00 ` Tucker Taft
1999-12-15 0:00 ` Stephen Leake
1999-12-15 0:00 ` Preben Randhol [this message]
1999-12-14 0:00 ` Brian Rogoff
1999-12-15 0:00 ` Richard Pinkall-Pollei
1999-12-15 0:00 ` Richard Pinkall-Pollei
1999-12-21 0:00 ` Geoff Bull
1999-12-21 0:00 ` Tucker Taft
1999-12-22 0:00 ` Ted Dennison
1999-12-13 0:00 ` DuckE
1999-12-14 0:00 ` Matthew Heaney
1999-12-14 0:00 ` Matthew Heaney
1999-12-14 0:00 ` Chris Powell
1999-12-14 0:00 ` Matthew Heaney
1999-12-15 0:00 ` Hyman Rosen
1999-12-14 0:00 ` Tucker Taft
1999-12-14 0:00 ` Matthew Heaney
1999-12-23 0:00 ` Chris Powell
1999-12-27 0:00 ` Robert A Duff
1999-12-14 0:00 ` Stephen Leake
1999-12-23 0:00 ` Chris Powell
1999-11-26 0:00 ` Andreas Winckler
1999-11-27 0:00 ` Lionel Draghi
-- strict thread matches above, loose matches on Subject: below --
1999-12-14 0:00 Robert C. Leif, Ph.D.
1999-12-15 0:00 ` Richard D Riehle
1999-12-15 0:00 Robert C. Leif, Ph.D.
1999-12-16 0:00 ` Richard D Riehle
1999-12-16 0:00 ` Matthew Heaney
1999-12-17 0:00 ` Richard D Riehle
1999-12-18 0:00 ` Matthew Heaney
1999-12-20 0:00 ` Richard D Riehle
1999-12-22 0:00 Help me to chose between ADA 95 and C++ ( Ehud Lamm
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox