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.6 required=5.0 tests=BAYES_20,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,39cb793e32a5b7d9
X-Google-Attributes: gid103376,public
From: dweller@universe.digex.net (David  Weller)
Subject: Re: A question for compiler vendors/lang experts. redefinition of "="
Date: 1997/12/16
Message-ID: <6763dh$30p@universe.digex.net>#1/1
X-Deja-AN: 298704953
References: <34964C63.F97005E6@netspace.net.au>
Organization: Express Access Online Communications, Greenbelt, MD USA
Newsgroups: comp.lang.ada
Date: 1997-12-16T00:00:00+00:00
List-Id: <comp.lang.ada>


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!