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

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

--- ai12s/ai12-0408-1.txt	2020/12/11 22:22:26	1.3
+++ ai12s/ai12-0408-1.txt	2020/12/17 04:15:24	1.4
@@ -1,6 +1,6 @@
-!standard 6.1(30/3)                                    20-12-11  AI12-0408-1/03
+!standard 6.1(30/3)                                    20-12-15  AI12-0408-1/04
 !standard 6.7(3/3)
-!standard 6.7(4/3)
+!standard 6.7(4/2)
 !standard 6.8(3.1/5)
 !standard 6.8(7/4)
 !class binding interpretation 20-12-02
@@ -100,6 +100,64 @@
 expression function, not external uses). We keep the term, but make the entire
 phrase the term. As this term phrase is used in a number of rules scattered 
 throughout the Standard, changing it is not appealing.
+
+!corrigendum 6.7(3/3)
+
+@drepl
+A @fa<null_procedure_declaration> declares a @i<null procedure>.
+A completion is not allowed for a @fa<null_procedure_declaration>; however,
+a @fa<null_procedure_declaration> can complete a previous declaration.
+@dby
+A @fa<null_procedure_declaration> that is not a completion declares a 
+@i<null procedure>. A completion is not allowed for a 
+@fa<null_procedure_declaration>; however, a @fa<null_procedure_declaration> 
+can complete a previous declaration.
+
+!corrigendum 6.7(4/2)
+
+@drepl
+The execution of a null procedure is invoked by a subprogram call.
+For the execution of a subprogram call on a null procedure, the execution of
+the @fa<subprogram_body> has no effect.
+@dby
+The execution of a null procedure is invoked by a subprogram call.
+For the execution of a subprogram call on a null procedure, or on a
+procedure completed with a @fa<null_procedure_declaration>, the execution of
+the @fa<subprogram_body> has no effect.
+
+
+!corrigendum 6.8(3/4)
+
+@dinsa
+The expected type for the @fa<expression> or @fa<aggregate> of an
+@fa<expression_function_declaration> is the result type (see 6.5) of
+the function.
+@dinss
+
+@s8<@i<Static Semantics>>
+
+An @fa<expression_function_declaration> that is not a completion declares
+an @i<expression function>.
+The @i<return expression of an expression function> is the @fa<expression> or
+@fa<aggregate> of the @fa<expression_function_declaration>. A completion
+is not allowed for an @fa<expression_function_declaration>; however, an
+@fa<expression_function_declaration> can complete a previous declaration.
+
+!corrigendum 6.8(7/4)
+
+@drepl
+The execution of an expression function is invoked by a subprogram call. For
+the execution of a subprogram call on an expression function, the execution
+of the @fa<subprogram_body> executes an implicit function body containing only
+a @fa<simple_return_statement> whose @fa<expression> is the return expression
+of the expression function.
+@dby
+The execution of an expression function is invoked by a subprogram call. For
+the execution of a subprogram call on an expression function, or on a
+function completed with a @fa<expression_function_declaration>, the execution
+of the @fa<subprogram_body> executes an implicit function body containing only
+a @fa<simple_return_statement> whose @fa<expression> is the return expression
+of the expression function.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent