CVS difference for acs/ac-00119.txt

Differences between 1.1 and version 1.2
Log of other versions for file acs/ac-00119.txt

--- acs/ac-00119.txt	2005/10/25 02:12:38	1.1
+++ acs/ac-00119.txt	2005/10/31 05:18:04	1.2
@@ -298,4 +298,33 @@
 
 ****************************************************************
 
+From: Bob Duff
+Date: Tuesday, October 25, 2005  9:03 AM
+
+> Determining that an explicitly written call is on the right path, is a call
+> to the parent operation, and has the same parameters, seems like a rather
+> difficult thing to do. It would seem to me to be very much like the return
+> statement fiasco.
+
+Which fiasco are you referring to?
+
+****************************************************************
+
+From: Randy Brukardt
+Date: Tuesday, October 25, 2005  2:28 PM
+
+> Which fiasco are you referring to?
+
+The "there must be one return statement" fiasco. That's a rule which does
+almost nothing for correctness (you still need a runtime check), but it
+causes trouble for prototyping.
+
+We'd likely end up with a similar rule here, because writing a rule that all
+paths must be covered would be difficult (what exactly does that mean?), and
+because implementations generally do path analysis in an optional
+optimization phase, so to base semantic rules on that would complicate
+implementations.
+
+****************************************************************
+
 

Questions? Ask the ACAA Technical Agent