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

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

--- ai12s/ai12-0210-1.txt	2018/10/17 01:36:39	1.4
+++ ai12s/ai12-0210-1.txt	2018/10/19 05:59:55	1.5
@@ -498,3 +498,15 @@
 don't have much time left for this revision.
 
 ****************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, October 16, 2016  9:31 PM
+
+Thanks for the explanation.   It seems like we might be losing the distinction 
+between Type_Invariant and Type_Invariant'Class when we start saying that a 
+type invariant applies to descendants.  Also, Type_Invariant (unlike 
+Type_Invariant'Class) can be specified in the private part on the full type 
+declaration for a private type.  So my instinct is not to try to fix this 
+problem, or fix it by addressing the formal derived type case directly.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent