Re: A question for compiler vendors/lang experts. redefinition of "="

[dweller@universe.digex.net (David Weller)]

In article <34964C63.F97005E6@netspace.net.au>,
Barry and Jackie Schiff  <schiff@netspace.net.au> wrote:
>Got one answer from a large compiler vendor when another vendor's
>implementation implies otherwise. Looked in the Rationale and LRM and it
>was hard to find a clear answer. So here is the question for all those
>language experts out there:
>
>
>package Foo is
>
>    type objects is abstract tagged record
>        Some_value : some_type;
>    end record;
>
>    type class_wide_pointers is access all objects'class;
>
>    function "="(left, right : access objects) return boolean; --
>Legal??
>

Yes, it is dispatching, but why not just declare:

	function "="(L, R : access Objects'Class) return boolean;   ??


Of course, perhaps I've missed a subtlety...it wouldn't be the first
time :-/


>parameters is that the above operation is a dispatching operation. I
>have had a large Ada compiler vendor tell me that the above is
>ambiguous. 

Perhaps they've gotten too large? :-)  Don't want to fix their
compiler? :-)

>Thanks in advance. If it is not to much trouble could you email answer.
>
Oh, great, complicate things why don't ya?

:-)


-- 
   ******   NEW!!  DoD Ada Hotline Number:  1-800-PARIAH    ******
Tired of "junk" e-mail?  Write to your congressman and tell them you support
H.R. 1748, "The Netizens Protection Act of 1997".  Make those SPAM-roaches run!             http://www.cauce.org          TAKE BACK THE INTERNET!