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=0.8 required=3.0 tests=BAYES_50 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: Wed, 11 Sep 91 17:02:55 -0400
From: williams@crc.sofkin.ca (Dave Williamson)
Subject: Re: why are these unknown identifiers?
Message-ID: <9109112102.AA04696@crc.sofkin.ca>
List-Id: <comp.lang.ada>

Jose Duarte writes:
>package X is
>    type DIRECTIONS is (UP, DOWN,...
>end X;
>with X;
>package Y is
>    subtype DIRECTIONS is X.DIRECTIONS;
>end Y;
>with Y;
>procedure BUG is
>V1 : Y.Directions := Y.UP;
>.....
>Can someone tell me why "Y.UP" and "Y.DOWN" are unknown identifiers....

Looks right to me.  Y.UP and Y.DOWN don't exist.  What you probably mean
to do is declare a dervied type as follows:

with X;
package Y is
    type DIRECTIONS is new X.DIRECTIONS;
end Y;

Dave Williamson
Software Kinetics Ltd.
Ottawa, Canada
williams@crc.sofkin.ca