# CVS difference for arm/source/03c.mss

Differences between 1.110 and version 1.111
Log of other versions for file arm/source/03c.mss

```--- arm/source/03c.mss	2011/04/07 06:18:36	1.110
+++ arm/source/03c.mss	2011/05/03 06:34:08	1.111
@@ -1,9 +1,9 @@

-@Comment{\$Date: 2011/04/07 06:18:36 \$}
+@Comment{\$Date: 2011/05/03 06:34:08 \$}

@Comment{\$Source: e:\\cvsroot/ARM/Source/03c.mss,v \$}
-@Comment{\$Revision: 1.110 \$}
+@Comment{\$Revision: 1.111 \$}

@LabeledClause{Tagged Types and Type Extensions}

@@ -1770,11 +1770,18 @@
entry or protected subprogram being given by the remaining actual parameters of
the call, if any;]}

+@ChgAdded{Version=[3],Text=[if the corresponding operation is a predefined
+operator then the action comprises an invocation of that operator;]}
+
@ChgAdded{Version=[2],Text=[otherwise, the action is the same as the action for
the corresponding operation of the parent type@Chg{Version=[3],New=[ or
-progenitor type from which the operation was inherited],Old=[]}.]}
+progenitor type from which the operation was inherited. If there is more than
+one such corresponding operation, the action is that for the operation that is
+not a null procedure, if any; otherwise, the action is that of an arbitrary one
+of the operations],Old=[]}.]}
@end{Itemize}

@begin{Honest}
@@ -1801,6 +1808,13 @@
from an interface. In that case, the parent type may not even have the
operation in question.]}

+@ChgAdded{Version=[3],Text=[For the last bullet, if there are multiple
+corresponding operations for the parent and progenitors, all but one of them
+have to be a null procedure. (If the progenitors declared abstract routines,
+there would have to be an explicit overriding of the operation, and then the
+first bullet would apply.) We call the non-null routine if one exists.]}
+
@ChgAdded{Version=[3],Text=[Any explicit declaration for an inherited
corresponding operation has to be an overriding routine.
@@ -1979,7 +1993,7 @@
@ldquote@;function with a controlling result@rdquote, as it is used
in @RefSecNum{Abstract Types and Subprograms}.]}