# CVS difference for arm/source/07.mss

Differences between 1.95 and version 1.96
Log of other versions for file arm/source/07.mss

--- arm/source/07.mss	2008/03/10 05:04:09	1.95
+++ arm/source/07.mss	2008/05/17 03:20:38	1.96
@@ -1,10 +1,10 @@

-@Comment{\$Date: 2008/03/10 05:04:09 \$}
+@Comment{\$Date: 2008/05/17 03:20:38 \$}
@LabeledSection{Packages}

@Comment{\$Source: e:\\cvsroot/ARM/Source/07.mss,v \$}
-@Comment{\$Revision: 1.95 \$}
+@Comment{\$Revision: 1.96 \$}

@begin{Intro}
@redundant[@ToGlossaryAlso{Term=<Package>,
@@ -1160,6 +1160,18 @@
because they can emerge in some unusual generic instantiations. See
@RefSecNum{Formal Types}.]}
@end{Reason}
+@begin{Discussion}
+  @ChgAdded{Version=[3],Text=[The predefined operators for the underlying class
+  of a type always exist, even if there is no visibility on that underlying
+  class. This rule is simply about where (if ever) those operators are
+  declared (and thus become usable). The @ldquote@;additional predefined
+  operators@rdquote defined by this rule are any that are not declared at the
+  point of the original type declaration. For instance, a type derived from a
+  private type whose full type is type String always will have a ">"
+  operator, but where that operator is declared (and thus whether it is
+  visible) will depend on the visibility of the full type of the parent type.]}
+@end{Discussion}

@ChgRef{Version=[1],Kind=[Revised],Ref=[8652/0019],ARef=[AI95-00033-01]}
The corresponding rule applies to a type defined by a

Questions? Ask the ACAA Technical Agent