Re: Limited Use Clause

[tynor@pyr.gatech.EDU (Steve Tynor)]

In article <4168@enea.se> sommar@enea.se (Erland Sommarskog) writes:

>>>> 	use XYZ."=", XYZ."/=", XYZ.PUSH, XYZ.POP;

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

>>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.

I took as my precedent the INLINE pragma.  I can say:
   pragma INLINE (PUSH);
but I can't say:
   pragma INLINE (PUSH (x : some_type));

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
No problem is so formidable that you can't just walk away from it.
                     
    Steve Tynor
    Georgia Tech Research Institute
    tynor@gitpyr.gatech.edu