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: 1 Jul 93 18:39:45 GMT
From: olivea!pagesat!spssig.spss.com!news.oc.com!convex!pelakh@decwrl.dec.com  
(Boris Pelakh)
Subject: Question of Visibility
Message-ID: <1993Jul1.183945.21032@news.eng.convex.com>
List-Id: <comp.lang.ada>

I am trying to determine whether I am in the right (if I am not, I will have
to patch a compiler). Examine the following example :

with text_io;
package boolean_type_pkg is
  type boolean is (FALSE, TRUE);
  for boolean use (FALSE => 16#00#, TRUE => 16#ff#);
  package boolean_io is new text_io.enumeration_io(boolean);
end boolean_type_pkg;

with boolean_type_pkg; use boolean_type_pkg;
procedure boolean_test is
  flag : boolean := TRUE;
begin
  boolean_io.put(flag);
end boolean_test;

My (Verdix-derived) front-end determines flag to be of type STANDARD.BOOLEAN.
I say that is correct since according to 8.1.11, STANDARD is an all-enclosing
declarative region, and thus has visibility precedence to the with'ed in pkg.
My customer claims that is wrong. Any opinions ? Alternatively, is there any
compiler out there that will accept the above code ? Mine rejects it since
boolean_io.put requires BOOLEAN_TYPE_PKG.BOOLEAN.

-- 
Boris Pelakh		Ada Project Leader          pelakh@convex.com
		     Convex Computer Corporation
"If winning isn't important, why keep score ?"	-- Lt. Worf, Star Trek TNG.