CVS difference for arm/source/03a.mss

Differences between 1.60 and version 1.61
Log of other versions for file arm/source/03a.mss

--- arm/source/03a.mss	2005/07/12 05:01:12	1.60
+++ arm/source/03a.mss	2005/07/27 00:06:18	1.61
@@ -1,10 +1,10 @@
 @Part(03, Root="ada.mss")
 
-@Comment{$Date: 2005/07/12 05:01:12 $}
+@Comment{$Date: 2005/07/27 00:06:18 $}
 @LabeledSection{Declarations and Types}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/03a.mss,v $}
-@Comment{$Revision: 1.60 $}
+@Comment{$Revision: 1.61 $}
 
 @begin{Intro}
 This section describes the types in the language and the rules
@@ -2265,9 +2265,16 @@
 If there is a @nt<record_extension_part>, the derived type is
 called a @i(record extension) of the parent type.
 A @nt<record_extension_part> shall be provided if and only if
-the parent type is a tagged type.@Chg{Version=[2],New=[ An
+the parent type is a tagged type.@Chg{Version=[2],New=[ @Redundant[An
 @nt{interface_list} shall be provided only if
-the parent type is a tagged type.],Old=[]}
+the parent type is a tagged type.]],Old=[]}
+@begin(TheProof)
+  @ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00401-01]}
+  @ChgAdded{Version=[2],Text=[The syntax only allows an @nt{interface_list}
+  to appear with a @nt{record_extension_part}, and a @nt{record_extension_part}
+  can only be provided if the parent type is a tagged type. We give the last
+  sentence anyway for completeness.]}
+@end(TheProof)
 @begin(ImplNote)
   We allow a record extension to inherit discriminants;
   an early version of Ada 9X did not.

Questions? Ask the ACAA Technical Agent