From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: Dummy
Date: 2000/02/03
Date: 2000-02-03T16:26:03+00:00 [thread overview]
Message-ID: <t7zoti1cd7.fsf@calumny.jyacc.com> (raw)
In-Reply-To: 2000Feb3.103443.1@eisner
kilgallen@eisner.decus.org (Larry Kilgallen) writes:
> To me "perfectly safe" does not allow "fail at runtime".
Nonsense. Ada has very similar situations. For example, suppose you
have a dispatching function with more than one parameter of the
controlling type. Ada will conduct a runtime check to make sure that
all the controlling parameters have the same derived type when the
call is made.
"Perfectly safe" means that either the operation succeeds, or you
are informed that the operation failed.
next prev parent reply other threads:[~2000-02-03 0:00 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-02-02 0:00 Dummy Simic_10111
[not found] ` <3898C380.BC01EC03@earthlink.net>
2000-02-03 0:00 ` Dummy Hyman Rosen
2000-02-03 0:00 ` Dummy Tucker Taft
2000-02-04 0:00 ` Dummy Robert A Duff
2000-02-04 0:00 ` Dummy Florian Weimer
2000-02-04 0:00 ` Dummy Robert A Duff
2000-02-05 0:00 ` Dummy Jean-Pierre Rosen
2000-02-10 0:00 ` Dummy Geoff Bull
2000-02-07 0:00 ` Dummy Hyman Rosen
2000-02-07 0:00 ` Dummy Florian Weimer
2000-02-07 0:00 ` Dummy Hyman Rosen
2000-02-03 0:00 ` Dummy Gautier
2000-02-03 0:00 ` Dummy Hyman Rosen
2000-02-03 0:00 ` Dummy Larry Kilgallen
2000-02-03 0:00 ` Hyman Rosen [this message]
2000-02-03 0:00 ` Dummy Larry Kilgallen
[not found] ` <389c50a6.14707859@news.flash.net>
2000-02-04 0:00 ` Dummy Marin D. Condic
-- strict thread matches above, loose matches on Subject: below --
2000-01-11 0:00 Dummy Simic_10111
2000-01-11 0:00 ` Dummy Ehud Lamm
2000-01-11 0:00 ` Dummy Gautier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox