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: 2 Jul 93 14:53:55 GMT From: agate!spool.mu.edu!sol.ctr.columbia.edu!The-Star.honeywell.com!cs0.dasd.h oneywell.com!burro.dasd.honeywell.com!perky.dasd.honeywell.com!tsorense@ucbvax. Berkeley.EDU (Todd A Sorensen) Subject: Re: Question of Visibility Message-ID: <1993Jul2.075355.1@perky.dasd.honeywell.com> List-Id: In article <1993Jul1.183945.21032@news.eng.convex.com>, pelakh@convex.com (Bori s Pelakh) writes: > > 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 You are right. The VAX compiler does the same thing (and rightly so). It flags and inconsistency in the boolean_io.put(flag); statement since the variable ->flag is not of the same type as is required by the instance boolean_io. My Tartan/960MC compiler gives me a stranger message though in saying that the type boolean in the test procedure is not visible. Evidently it is confused about where the type boolean should come from (standard or boolean_type_pkg). > compiler out there that will accept the above code ? Mine rejects it since > boolean_io.put requires BOOLEAN_TYPE_PKG.BOOLEAN. > Just out of curiosity - why redefine the type boolean? Is it just to use the values in the representation clause? > -- ------------------------------------------------------------------------------ Todd A Sorensen Honeywell Defense Avionics Systems Division 505-828-5611 internet: tsorense@dasd.honeywell.com internet: tas@dasd.honeywell.com ------------------------------------------------------------------------------