CVS difference for ai22s/ai22-0010-1.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai22s/ai22-0010-1.txt

--- ai22s/ai22-0010-1.txt	2021/11/19 07:42:35	1.4
+++ ai22s/ai22-0010-1.txt	2022/01/28 07:06:50	1.5
@@ -1,5 +1,6 @@
-!standard 7.3(13)                                    21-11-18  AI22-0010-1/03
+!standard 7.3(13)                                    22-01-14  AI22-0010-1/04
 !class binding interpretation 21-11-11
+!status Corrigendum 1-2022 22-01-14
 !status work item 21-11-11
 !status received 21-10-14
 !priority Medium
@@ -84,6 +85,16 @@
 a private part does not apply to descendants of the partial view. Ergo, this
 rule does not break privacy.
 
+!corrigendum 7.3(13)
+
+@dinsa
+If the ancestor subtype of a private extension has constrained discriminants, 
+then the parent subtype of the full view shall impose a statically matching
+constraint on those discriminants. 
+@dinst
+Each predicate specification that applies to some ancestor of a private 
+extension shall also apply to some ancestor of the full view.
+
 !ACATS test
 
 An ACATS B-Test is needed to check this rule.
@@ -421,7 +432,7 @@
 	     type T4 is new Pkg2.T2 with private;
 	  private
 	     type T4 is new Pkg2.T2 with null record;
-           V : T4 := 0; -- Still raises Assertion_Error here.
+             V : T4 := 0; -- Still raises Assertion_Error here.
 	  end Pkg3;
 
 The predicate does NOT apply to type T4 (since it is not visible to it), but 

Questions? Ask the ACAA Technical Agent