comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: ANNOUNCE: SPARK toolset 6.1 now available
Date: Fri, 12 Jul 2002 15:14:32 -0500
Date: 2002-07-12T15:14:32-05:00	[thread overview]
Message-ID: <uiuecbr38qbc34@corp.supernews.com> (raw)
In-Reply-To: ba18d5cb.0207120052.10747fd6@posting.google.com

Rod Chapman wrote in message ...
>dennison@telepath.com (Ted Dennison) wrote in message news:
>> By "dispatching" do you mean runtime polymorphisim as opposed to
>> compile-time polymorphisim?
>
>Correct. Run-time polymorhpism is not permitted.  Calling an
>inherited (or overridden) basic operation with a specific tagged
>subtype is OK.


Do you do that by prohibiting T'Class, or do you allow it for uses like
hetrogeneous lists? If the latter, it seems as if there wouldn't be any
problem supporting run-time polymorphism. And if the former is true, its
hard to imagine what uses type extension can be put to...

           Randy Brukardt.






  reply	other threads:[~2002-07-12 20:14 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-07-11  7:57 ANNOUNCE: SPARK toolset 6.1 now available Rod Chapman
2002-07-11 14:04 ` Ted Dennison
2002-07-12  8:52   ` Rod Chapman
2002-07-12 20:14     ` Randy Brukardt [this message]
2002-07-13 13:37       ` Simon Wright
2002-07-13 14:15         ` Robert A Duff
2002-07-13 18:11           ` Simon Wright
2002-07-13 20:15           ` Rod Chapman
2002-07-14  0:27             ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox