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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9cfa83146b0781ed X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-11-15 10:15:45 PST Path: nntp.gmd.de!newsserver.jvnc.net!news.cac.psu.edu!news.pop.psu.edu!hudson.lm.com!godot.cc.duq.edu!news.duke.edu!solaris.cc.vt.edu!news.mathworks.com!news.alpha.net!uwm.edu!cs.utexas.edu!newsfeed.rice.edu!news.sesqui.net!uuneo.neosoft.com!Starbase.NeoSoft.COM!not-for-mail From: dweller@Starbase.NeoSoft.COM (David Weller) Newsgroups: comp.lang.ada Subject: Re: Overloading for T and T'Class Date: 15 Nov 1994 05:39:59 -0600 Organization: NeoSoft Internet Services +1 713 684 5969 Message-ID: <3aa6mf$t3j@Starbase.NeoSoft.COM> References: <3a6goo$j7s@starbase.neosoft.com> NNTP-Posting-Host: starbase.neosoft.com Date: 1994-11-15T05:39:59-06:00 List-Id: In article , Tucker Taft wrote: >> >>My neophyte language-lawerly sense says "No", you can't do this. ... > >Bzzz! We will repeat the entire question for the other team... > Ah, the gentle hand of "Dad" strikes again :-) >The above is legal, though a call would generally be ambiguous. >Actually, the class-wide operation can be called, provided the actual >parameter is of some descendant of T other than T or T'Class itself. >Furthermore, the primitive operation once inherited by some >descendant (say T2) would be callable, presuming T2 is declared >in some other package. Hence, it is conceivable that the >above might have some use, presuming no one wanted to use either >one with T or T'Class, but rather with other descendants of T such >as, say, T2 or T2'Class. > Ah good, then I'm entirely correct for saying the next thing to Brad Balfour: See, Brad, I _told_ ya so! :-) -- Proud (and vocal) member of Team Ada! (and Team OS/2) ||This is not your Ada -- Very Cool. Doesn't Suck. || father's Ada For all sorts of interesting Ada tidbits, run the command: ||________________ "finger dweller@starbase.neosoft.com | more" (or e-mail with "finger" as subj.) ObNitPick: Spelling Ada as ADA is like spelling C++ as CPLUSPLUS. :-)