CVS difference for arm/source/03a.mss

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

--- arm/source/03a.mss	2008/03/06 05:18:50	1.91
+++ arm/source/03a.mss	2008/07/08 03:31:49	1.92
@@ -1,10 +1,10 @@
 @Part(03, Root="ada.mss")
-@Comment{$Date: 2008/03/06 05:18:50 $}
+@Comment{$Date: 2008/07/08 03:31:49 $}
 @LabeledSection{Declarations and Types}
 @Comment{$Source: e:\\cvsroot/ARM/Source/03a.mss,v $}
-@Comment{$Revision: 1.91 $}
+@Comment{$Revision: 1.92 $}
 This section describes the types in the language and the rules
@@ -1666,9 +1666,8 @@
 @ChgAdded{Version=[3],Text=[its nominal subtype is indefinite; or]}
-@ChgAdded{Version=[3],Text=[its type is a protected type, a task type, or an
-explicitly limited record type; or]}
+@ChgAdded{Version=[3],Text=[its type is immutably limited (see @RefSecNum{Limited Types}); or]}
 @ChgAdded{Version=[3],Text=[it is part of a stand-alone constant (including a
@@ -1798,7 +1797,7 @@
   return objects to be declared as constants, and corrected the definition
   of return objects as objects.]}
-  @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0008-1],ARef=[AI05-0041-1]}
+  @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0008-1],ARef=[AI05-0041-1],ARef=[AI05-0093-1]}
   @ChgAdded{Version=[3],Text=[@b<Corrigendum 2:> Added a definition of
   @i<known to be constrained>, for use in other rules.]}
@@ -2718,8 +2717,8 @@
 @ChgDeleted{Version=[2],Text=[The derived type is limited if and
 only if the parent type is limited.]}
-@ChgNote{This rule is normatively in 7.5, and we don't want it scattered
+@ChgNote{This rule is normatively in @RefSecNum{Limited Types}, and we don't
+want it scattered everywhere.}
   @ChgDeleted{Version=[2],Text=[The derived type can become nonlimited if

Questions? Ask the ACAA Technical Agent