Version 1.1 of acs/ac-00024.txt

Unformatted version of acs/ac-00024.txt version 1.1
Other versions for file acs/ac-00024.txt

!standard 4.5(09)          02-01-23 AC95-00024/01
!standard 4.5.1(2)
!class confirmation 02-01-15
!status received no action 02-01-15
!subject Visibility of predefined modular boolean operators
!summary
!appendix

!topic visibility of predefined modular boolean operators
!reference RM95-4.5.1(2), RM95-4.5(9)
!from Dan Eilers 02-01-15
!keywords modular
!discussion


with interfaces;
package pak2 is
   x1: constant interfaces.Unsigned_32 := 0 or 1;  -- legal?
end pak2;


My reading of RM95-4.5(9) is that the predefined boolean operators,
such as "or", are not visible (without a use clause), making this
code illegal.  But GNAT allows this, and Florist-3.13p uses it,
so maybe there should be an ACATS test.

****************************************************************

From: Tucker Taft
Semt: Tuesday, January 15, 2002  5:29 PM
I agree this is illegal, and at least some version of GNAT
has a bug in this area.

****************************************************************

Questions? Ask the ACAA Technical Agent