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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0029-1.txt

--- ai12s/ai12-0029-1.txt	2012/06/06 00:06:52	1.1
+++ ai12s/ai12-0029-1.txt	2012/06/29 02:27:57	1.2
@@ -1,5 +1,6 @@
-!standard 6.5(5/3)                                 12-06-05    AI12-0029-1/01
+!standard 6.5(5/3)                                 12-06-28    AI12-0029-1/02
 !class Amendment 12-06-13
+!status No Action (8-0-0) 12-06-16
 !status work item 12-06-25
 !status received 12-04-27
 !priority Medium
@@ -7,7 +8,15 @@
 !subject Relax requirement for functions to have return statements
 !summary
 
-**TBD.
+This AI was voted No Action as the problem is solved by AI12-0022-1. That AI
+introduces raise expressions. A raise expression matches any type, so it can
+directly be used in a return statement for any function.
+
+Thus "return raise Not_Implemented_Error;" solves the problem in the question
+with no language rule changes beyond AI12-0022-1.
+
+The remainder of this AI shows the original proposal, and does not take raise
+expressions into account.
 
 !problem
 

Questions? Ask the ACAA Technical Agent