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.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!gatech!gitpyr!tynor
From: tynor@pyr.gatech.EDU (Steve Tynor)
Newsgroups: comp.lang.ada
Subject: Re: Limited Use Clause
Message-ID: <6943@pyr.gatech.EDU>
Date: 12 Dec 88 15:47:41 GMT
References: <4154@enea.se>
Reply-To: tynor@pyr.UUCP (Steve Tynor)
Organization: Georgia Tech Research Institute
List-Id: <comp.lang.ada>

In article <4154@enea.se> sommar@enea.se (Erland Sommarskog) writes:
>Steve Tynor (tynor@pyr.UUCP) writes:
>>But why limit this to only infix operators? How about borrowing an idea 
>>from Modula2?
>> 	with XYZ;
>> 	use XYZ."=", XYZ."/=", XYZ.PUSH, XYZ.POP;
>> 	package ...
>The problem is that the specifications above are not necessarily
>unique. So you have to write:
>   use XYZ."="(a, b : XYZ_type), XYZ.Push(x : some_type) ...
>which quickly gets very verbose.

This is going one step further than I suggested. I'm not convinced that it's
truly necessary. I still think importing identifiers (if they're overloaded
you get all of them) would be a useful, relatively easily implemented
addition to the language.

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Progress means replacing something wrong with something more subtly wrong.
                     
    Steve Tynor
    Georgia Tech Research Institute
    tynor@gitpyr.gatech.edu