From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 24 Dec 92 02:16:55 GMT
From: pattis@beaver.cs.washington.edu  (Richard Pattis)
Subject: Re: Visibility
Message-ID: <1992Dec24.021655.22555@beaver.cs.washington.edu>
List-Id: <comp.lang.ada>

In article <1992Dec23.233519.21523@netfs.dnd.ca> BERRYMAN@orca.drep.dnd.ca (DON
 BERRYMAN) writes:
>
>
>I have a quesiton on Visiblity. The following Ada code
>generates the following error.
>
>
>     package datatypes is
>         subtype widget is integer;
>     end datatypes;
>
>     with datatypes;
>     package testvisibility is
>         function widget (a: integer) return datatypes.widget;
>     end testvisibility;
>

The LRM says in 8.3(16) "every declaration with the same designator" is
hidden. And designators are only identifiers or operator symbols. So it looks
like your designator widget, even when declared in another package and
selected, is still hidden.  There are two notes on this, but both involve
generics

Now, can anyone say why this interpretation "is a good thing".

Rich Pattis


-- 
------------------------------------------------------------------------------
  Richard E. Pattis                     "Programming languages are like
  Department of Computer Science         pizzas - they come in only "too"
    and Engineering                      sizes: too big and too small."