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
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!rpi!bu.edu!inmet!stt
From: stt@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Re: Visibility in Embedded Packages
Message-ID: <20600070@inmet>
Date: 29 Oct 90 15:29:00 GMT
References: <718@ajpo.sei.cmu.edu>
Nf-ID: #R:ajpo.sei.cmu.edu:718:inmet:20600070:000:535
Nf-From: inmet.inmet.com!stt    Oct 29 10:29:00 1990
List-Id: <comp.lang.ada>


Re: Visibility in embedded packages

Only the third method:
  package Operators
   function "+"(Left, Right : Integer_Type) return Integer_Type
      renames Standard_Types."+";
   . . .

is correct.
This is because that the declaration of "+" in
package Operators hides the outer declaration of "+" in Standard_Types,
requiring the expanded-name notation.

The version which requires Standard."+" is totally wrong,
since the Integer_Type is not declared in package Standard.


S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138