CVS difference for ai12s/ai12-0173-1.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0173-1.txt

--- ai12s/ai12-0173-1.txt	2016/02/16 03:20:41	1.4
+++ ai12s/ai12-0173-1.txt	2016/03/18 23:07:23	1.5
@@ -76,6 +76,47 @@
 return statement, and as they both precede the new definition, we changed them
 rather than introducing a forward reference.
 
+!corrigendum 6.5(3/2)
+
+@drepl
+The @i<result subtype> of a function is the subtype denoted by the
+@fa<subtype_mark>, or defined by the @fa<access_definition>, after the reserved
+word @b<return> in the profile of the function. The expected type for the
+@fa<expression>, if any, of a @fa<simple_return_statement> is the result
+type of the corresponding function.
+The expected type for the @fa<expression> of an @fa<extended_return_statement>
+is that of the @fa<return_subtype_indication>.
+@dby
+The @i<result subtype> of a function is the subtype denoted by the
+@fa<subtype_mark>, or defined by the @fa<access_definition>, after the reserved
+word @b<return> in the profile of the function. The expected type for the
+@fa<expression>, if any, of a @fa<simple_return_statement> is the result
+type of the corresponding function.
+The expected type for the @fa<expression> of an
+@fa<extended_return_object_declaration> is that of the
+@fa<return_subtype_indication>.
+
+!corrigendum 6.5(5/3)
+
+@drepl
+A function body shall contain at least one return statement that applies to
+the function body, unless the function contains @fa<code_statement>s.
+A @fa<simple_return_statement> shall include an @fa<expression> if and only
+if it applies to a function body. An @fa<extended_return_statement> shall
+apply to a function body. An @fa<extended_return_statement> with the
+reserved word @b<constant> shall include an @fa<expression>.
+@dby
+A function body shall contain at least one return statement that applies to
+the function body, unless the function contains @fa<code_statement>s.
+A @fa<simple_return_statement> shall include an @fa<expression> if and only
+if it applies to a function body. An @fa<extended_return_statement> shall
+apply to a function body. An @fa<extended_return_object_declaration> with the
+reserved word @b<constant> shall include an @fa<expression>.
+
+The @i<@fa<expression> of an @fa<extended_return_statement>> is the
+@fa<expression> of the @fa<extended_return_object_declaration> of the
+@fa<extended_return_statement>.
+
 !ASIS
 
 No ASIS effect.

Questions? Ask the ACAA Technical Agent