Re: Extension of non-limited type needs limited component

[Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>]

On Fri, 15 Nov 2002 11:47:49 +0100 (MET), "Grein, Christoph"
<christoph.grein@eurocopter.com> wrote:

>> >This is not SmallTalk, where you can dispatch to a method that does not
>> >exist.
>> 
>> Sure? And what about this:
>> 
>> type A is tagged ...
>> procedure Foo (L, R : A);
>> 
>> type B is new A with ....
>> 
>> X : A'Class := Some_A;
>> Y : A'Class := Some_B;
>> 
>> Foo (X, Y); -- Oops, dispatching to nowhere!
>
>Either compiler catches this and does not compile.
>Or during runtime, tag check is performed and will raise Constraint_Error.
>
>No dispatching to nowhere!

Of course. Under dispatching to nowhere I just meant dispatching to a
non-existing method:

Foo (L : A; R: B);

Both Ada and SmallTalk [AFAIK] do not crash when such thing happens.
But this is not the problem. The problem is that though one could wish
to detect all such and similar cases at compile time, one cannot. This
does not mean that we should drop compile-time checks. [To put it
clear, Ada is right, SmallTalk is wrong! (:-))] It only means that the
argument, "this is not allowed, because it cannot be fully checked at
compile time" is wrong. Alas, there are many damn useful things
uncheckable at compile time.

---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de