CVS difference for acats/new/bdd2007.a

Differences between 1.2 and version 1.3
Log of other versions for file acats/new/bdd2007.a

--- acats/new/bdd2007.a	2020/03/18 04:46:48	1.2
+++ acats/new/bdd2007.a	2020/03/21 05:33:39	1.3
@@ -57,18 +57,18 @@
 --        (G) The Stream_Size aspect shall be specified on a first subtype
 --            13.13.2(1.5/2).
 --        (H) The expression for the Stream_Size aspect cannot freeze the type
--- tly or indirectly) - 13.1(9.2/5), as added by
+--            itself (directly or indirectly) - 13.1(9.1/5), as added by
 --            Binding Interpretation AI12-0181-1. (This prevents
 --            using attributes, objects, conversions, or qualifications of the
 --            type or of a subtype of it.)
--- n for the Size aspect of a type given in the
+--        (I) The expression for the Stream_Size aspect of a type given in the
 --            visible part of a package cannot name a declaration given
 --            in the private part - 13.1.1(11/3).
--- n for the Size aspect of a type cannot name a
+--        (J) The expression for the Stream_Size aspect of a type cannot name a
 --            declaration that comes after the freezing point of the type
 --            13.1.1(13/3).
--- n for the Size aspect of a type must resolve to
--- ties at the first freezing point as at the end of
+--        (K) The expression for the Stream_Size aspect of a type must resolve
+--            to the same entities at the first freezing point as at the end of
 --            the declaration list - 13.1.1(13/3).
 --
 --     We try only a handful of examples of each of these rules; we're trying
@@ -100,7 +100,7 @@
 --        inapplicable. Otherwise, the test all of the errors as marked.
 --
 -- CHANGE HISTORY:
--- Created test from existing BDD2001 for Size.
+--     10 Mar 20   RLB     Created test from existing BD30001 for Size.
 --
 --!
 with Ada.Streams;
@@ -168,7 +168,7 @@
          with Stream_Size => Mod_Stream_Size; -- ERROR: (G) {1:7;1}
 
       type Tst15 is range -99 .. 99
-         with Stream_Size => Tst06'Size;      -- ERROR: (H) {1:7;1}
+         with Stream_Size => Tst15'Size;      -- ERROR: (H) {1:7;1}
 
       A_Size : constant := Larger_Stream_Size;
       type Tst16 is mod 2 ** 8

Questions? Ask the ACAA Technical Agent