From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 108717,b761e94375940f9f X-Google-Attributes: gid108717,public X-Google-Thread: f43e6,b761e94375940f9f X-Google-Attributes: gidf43e6,public X-Google-Thread: 115aec,b761e94375940f9f X-Google-Attributes: gid115aec,public X-Google-Thread: 103376,b761e94375940f9f X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-07-12 13:19:19 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-06!sn-post-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada,comp.realtime,comp.programming,comp.software-eng Subject: Re: ANNOUNCE: SPARK toolset 6.1 now available Date: Fri, 12 Jul 2002 15:14:32 -0500 Organization: Posted via Supernews, http://www.supernews.com Message-ID: References: <4519e058.0207110604.62691233@posting.google.com> X-Newsreader: Microsoft Outlook Express 4.72.3612.1700 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500 X-Complaints-To: newsabuse@supernews.com Xref: archiver1.google.com comp.lang.ada:27026 comp.realtime:5834 comp.programming:35045 comp.software-eng:12082 Date: 2002-07-12T15:14:32-05:00 List-Id: 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.