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: 103376,5f3fcf3eb242e4c1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-19 01:57:03 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!193.174.75.178!news-fra1.dfn.de!news-koe1.dfn.de!news.rhrz.uni-bonn.de!news.uni-stuttgart.de!not-for-mail From: Peter Hermann Newsgroups: comp.lang.ada Subject: Re: casecrash: language lawyers: C'mon! Date: 19 Jul 2001 08:57:01 GMT Organization: Comp.Center (RUS), U of Stuttgart, FRG Message-ID: <9j67ct$99k$1@infosun2.rus.uni-stuttgart.de> References: <9j3jok$d4j$1@infosun2.rus.uni-stuttgart.de> <3B55F845.539CE332@avercom.net> NNTP-Posting-Host: iris16.csv.ica.uni-stuttgart.de User-Agent: tin/pre-1.4-980117 (UNIX) (IRIX/6.5 (IP22)) Xref: archiver1.google.com comp.lang.ada:10233 Date: 2001-07-19T08:57:01+00:00 List-Id: Tucker Taft wrote: > Highly unlikely. Ada makes a strong distinction > between overloadable declarations (subprograms, entries, and enumerals) > and non-overloadable declarations (everything else). > Allowing more general overloading would dramatically affect > a very delicate part of existing compilers (overload resolution) > and would require a major new benefit to justify it. > In other words, don't hold your breath ;-). As average Joe Ada Programer I simply guessed there may be no great effort for a compiler to resolve ambiguity under very clear conditions: on the one side a choice between two objects and on the other side a unique request for the one and only one thing (guess what may be meant in a "when"-branch condition of a case statement? mmh). Of course, you have the deepest insight into compiler construction and the effort involved in "advanced" ;-) context resolution. BTW, we have changed our header h into hdr and are happy with it because this is even more readable. :-) thank you. > -- > -Tucker Taft stt@avercom.net http://www.avercom.net > Chief Technology Officer, AverCom Corporation (A Titan Company) > Bedford, MA USA (AverCom was formerly the Commercial Division of AverStar: > http://www.averstar.com/~stt) -- Peter Hermann Tel+49-711-685-3611 Fax3758 ica2ph@csv.ica.uni-stuttgart.de Pfaffenwaldring 27 Raum 114, D-70569 Stuttgart Uni Computeranwendungen http://www.csv.ica.uni-stuttgart.de/homes/ph/ Team Ada: "C'mon people let the world begin" (Paul McCartney)