Version 1.1.1.1 of ais/ai-00027.txt

In A.12.2(3) and A.12.3(3), "is access all Streams.Root_Stream_Type'Class" is correct as is; no "Ada." is needed.

Should "Ada." be added to Streams.Root_Stream_Type'Class in A.12.2(3) and A.12.3(3)? (No.)

Ada.Text_IO.Text_Streams is a child of Ada; hence the name "Streams" is directly visible, and does not need to be prefixed by "Ada.". The same is true in Ada.Wide_Text_IO.Text_Streams.

The reason Streams is directly visible in Ada.Text_IO.Text_Streams is: A child unit is part of the declarative region of its parent, by 8.1(9). Within the declaration region of Ada, the declaration of Streams precedes the declaration of Text_IO.Text_Streams, because Text_IO.Text_Streams says "with Ada.Streams;", by 10.1.4(2). Thus, Text_IO.Text_Streams is within the immediate scope of Ada.Streams, by 8.2(2-3). Thus, the declaration of Streams is directly visible, by 8.3(21).

!section A.12.2(03)
!section A.12.3(3)
!subject Typo: is access all {Ada.}Streams.Root_Stream_Type'Class
!reference RM9X-A.12.2(3);5.95
!reference RM9X-A.12.3(3);5.95
!from Norman Cohen
!reference as: 95-5088.b Norman H. Cohen 95-1-30>>

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