Re: casecrash: language lawyers: C'mon!

[Peter Hermann <ica2ph@iris16.csv.ica.uni-stuttgart.de>]

Tucker Taft <stt@avercom.net> 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)