CVS difference for arm/source/06.mss

Differences between 1.56 and version 1.57
Log of other versions for file arm/source/06.mss

--- arm/source/06.mss	2005/06/16 22:43:28	1.56
+++ arm/source/06.mss	2005/07/12 05:01:15	1.57
@@ -1,10 +1,10 @@
 @Part(06, Root="ada.mss")
 
-@Comment{$Date: 2005/06/16 22:43:28 $}
+@Comment{$Date: 2005/07/12 05:01:15 $}
 @LabeledSection{Subprograms}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/06.mss,v $}
-@Comment{$Revision: 1.56 $}
+@Comment{$Revision: 1.57 $}
 
 @begin{Intro}
 @Defn{subprogram}
@@ -2036,8 +2036,8 @@
 the nominal subtype of the return object. If there is an @nt{expression}, it
 is evaluated and converted to the nominal subtype (which might raise
 Constraint_Error @em see @RefSecNum{Type Conversions}@PDefn2{Term=[implicit subtype conversion],Sec=(function return)});
-the return object is created and the converted value becomes the initial value
-of the return object; otherwise, the return object is created and initialized
+the return object is created and the converted value is assigned to
+the return object; otherwise, the return object is created and initialized
 by default as for a stand-alone object of its nominal subtype (see
 @RefSecNum{Object Declarations}). If the nominal subtype is indefinite, the
 return object is constrained by its initial value. The
@@ -2064,8 +2064,9 @@
 Old=[@PDefn2{Term=[execution], Sec=(return_statement)}]}
 For the execution of a @Chg{Version=[2],New=[@nt{simple_return_statement}],
 Old=[@nt{return_statement}]}, the @nt{expression}
-(if any) is first evaluated and converted to the result subtype@Chg{Version=[2],
-New=[ to become the value of the anonymous @i{return object}.
+(if any) is first evaluated@Chg{Version=[2],New=[,],Old=[ and]} converted to
+the result subtype@Chg{Version=[2],
+New=[, and then is assigned to the anonymous @i{return object}.
 @PDefn2{Term=[return object], Sec=(simple_return_statement)}],Old=[.]}
 @PDefn2{Term=[implicit subtype conversion],Sec=(function return)}
 @begin{Ramification}

Questions? Ask the ACAA Technical Agent