Path: utzoo!attcan!uunet!husc6!cmcl2!nrl-cmf!ukma!gatech!ncsuvx!ece-csc!ncrcae!hubcap!billwolf
From: billwolf@hubcap.clemson.edu (William Thomas Wolfe,2847,)
Newsgroups: comp.lang.ada
Subject: Re: Ada Language Change: Assignment Overloading
Message-ID: <3660@hubcap.UUCP>
Date: 24 Nov 88 02:16:38 GMT
References: <3657@hubcap.UUCP>
Sender: news@hubcap.UUCP
Reply-To: billwolf@hubcap.clemson.edu
Lines: 16

From article <3657@hubcap.UUCP>, by billwolf@hubcap.clemson.edu (William Thomas Wolfe,2847,):
>> 4. Finally, what would an overloading of assignment look like?  Would
>>    one parameter have to be mode in and the other mode out?  What about
>>    mode in out?  What about side effects?  Would it be a function or
>>    a procedure, or both?  
$ 
$    procedure ":=" (FIRST_OBJECT  : in out TYPE;
$                    SECOND_OBJECT : in     TYPE);
$ 
$    would seem appropriate.

   In order to avoid infinite recursion with regard to the evaluation
   of the SECOND_OBJECT as a value parameter, there would need to be
   some rule whereby the "old" version of assignment would always be
   applied during the evaluation of an in parameter to an assignment
   procedure.