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.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT 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!hubcap!ncrcae!ncrlnk!uunet!mcvax!enea!sommar
From: sommar@enea.se (Erland Sommarskog)
Newsgroups: comp.lang.ada
Subject: Re: Limited Use Clause
Message-ID: <4168@enea.se>
Date: 17 Dec 88 21:56:10 GMT
Organization: ENEA DATA AB, Sweden
List-Id: <comp.lang.ada>

Steve Tynor (tynor@pyr.UUCP) first said:
>>> 	with XYZ;
>>> 	use XYZ."=", XYZ."/=", XYZ.PUSH, XYZ.POP;
>>> 	package ...

I said:
>>   use XYZ."="(a, b : XYZ_type), XYZ.Push(x : some_type) ...

Then he said:
>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.

Of course a matter of taste, but I think mentioning a name and getting 
all subprograms with that name is a very non-Ada way of approaching
things. In Ada a subprogram *is* identified by its name and its parameter
list.
-- 
Erland Sommarskog
ENEA Data, Stockholm
sommar@enea.se
"Frequently, unexpected errors are entirely unpredictable" - Digital Equipment