CVS difference for ai12s/ai12-0199-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0199-1.txt

--- ai12s/ai12-0199-1.txt	2017/04/21 04:25:35	1.5
+++ ai12s/ai12-0199-1.txt	2017/04/25 06:20:00	1.6
@@ -1,4 +1,4 @@
-!standard 7.3.2(5/4)                                   17-04-20  AI12-0199-1/04
+!standard 7.3.2(5/4)                                   17-04-24  AI12-0199-1/05
 !standard 7.3.2(8/3)
 !class binding interpretation 16-07-21
 !status Amendment 1-2012 16-11-14
@@ -93,7 +93,7 @@
       package Pkg2 is
          type T is tagged null record
             with Type_Invariant'Class => Is_OK (X);
-         function Is_Ok (X : T) return Boolean;
+         function Is_OK (X : T) return Boolean;
          procedure Proc (X : in out T);
       end Pkg2;
 
@@ -104,7 +104,7 @@
       package Pkg3 is
          type NT is abstract new Pkg2.T with null record;
          -- inherits Type_Invariant'Class => Is_OK (X);
-         function Is_Ok (X : NT) return Boolean is abstract;
+         function Is_OK (X : NT) return Boolean is abstract;
          -- inherits Proc.
       end Pkg3;
 
@@ -211,7 +211,7 @@
       package Pkg2 is
          type T is tagged null record
             with Type_Invariant'Class => Is_OK (X); -- OK.
-         function Is_Ok (X : T) return Boolean;
+         function Is_OK (X : T) return Boolean;
          procedure Proc (X : in out T);
       end Pkg2;
 
@@ -221,7 +221,7 @@
       package Pkg3 is
          type NT is abstract new Pkg2.T null record;
          -- inherits Type_Invariant'Class => Is_OK (X); -- ??
-         function Is_Ok (X : NT) return Boolean is abstract;
+         function Is_OK (X : NT) return Boolean is abstract;
          -- inherits Proc.
       end Pkg3;
 

Questions? Ask the ACAA Technical Agent