CVS difference for acats/b3/b3710012.a

Differences between 1.3 and version 1.4
Log of other versions for file acats/b3/b3710012.a

--- acats/b3/b3710012.a	2007/03/24 01:24:15	1.3
+++ acats/b3/b3710012.a	2007/08/21 18:43:28	1.4
@@ -43,6 +43,8 @@
 --    05 Jun 2001   RLB   Normalized "ERROR:" comments.
 --    21 Mar 2007   RLB   Updated for Amendment 1 changes.
 --    23 Mar 2007   RLB   Updated after discussion of legality of P4.
+--    20 Aug 2007   RLB   Removed most of subtest pending resolution of
+--                        AI05-0041.
 --
 --!
 
@@ -52,18 +54,19 @@
     type T is new B371001_1.T;  -- Derived from partial view
                                 -- (full view is not visible).
     type Ptr1 is access T;
-    subtype S1 is Ptr1 (1);     -- ERROR: Discriminant is not visible.
+    subtype S1A is Ptr1 (1);    -- ERROR: Discriminant is not visible.
 
 private
-    type TT is new B371001_1.T; -- Derived from partial view.
-    type Ptr2 is access all TT;
-    subtype S2 is Ptr2 (2);     -- ERROR: Discriminant has a default.
-
-    type Ptr3 is access constant TT;
-    subtype S3 is Ptr3 (3);     -- ERROR: Discriminant has a default.
-
-    type Ptr4 is access TT;
-    P4 : Ptr4 (0);              -- OK.
-
+-- We don't clearly know the properties of T here; AI05-0041 will
+-- address this.
+--    subtype S1B is Ptr1 (2);    -- ERROR: Discriminant has a default.
+--
+--    type Ptr2 is access constant T;
+--    subtype S2 is Ptr2 (3);     -- ERROR: Discriminant has a default.
+--
+--    type Ptr3 is access T;
+--    P3 : Ptr3 (0);              -- ?? AI05-0041/3 proposed resolution
+--                                 -- would make this illegal.
+--
 end B371001_1.Child_2;
 

Questions? Ask the ACAA Technical Agent