CVS difference for ais/ai-00114.txt

Differences between 1.11 and version 1.12
Log of other versions for file ais/ai-00114.txt

--- ais/ai-00114.txt	2005/04/13 05:36:51	1.11
+++ ais/ai-00114.txt	2005/04/14 22:15:59	1.12
@@ -616,8 +616,24 @@
 
 ****************************************************************
 
+From: Randy Brukardt
+Date: Wednesday, April 13, 2005  3:30 PM
+
+3.4(5.b) says that 3.4(5) [record extensions must be tagged] has to be
+rechecked in the visible part of an instance specification. But that
+is confusing, as the check on the generic template would reject any formal
+that is not declared to be tagged (the properties of the formal being incorrect
+for that kind of declaration), and no formal that is declared to be
+tagged could turn out to not be tagged.
+
+The note is actually talking about the "only if" part of the rule; that is,
+a tagged type can only be extended with a record extension. There needs to be
+an example explaining this.
+
+****************************************************************
+
 From: Randy Brukardt (Editor)
-Date: April 11, 2005
+Date: April 14, 2005
 
 I've made the corrections needed to implement the presentation issues
 above in the updated AARM (Amendment 1 version), or explained why the suggested

Questions? Ask the ACAA Technical Agent