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

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

--- ai12s/ai12-0269-1.txt	2018/04/07 06:19:15	1.4
+++ ai12s/ai12-0269-1.txt	2018/04/14 04:08:25	1.5
@@ -1747,3 +1747,74 @@
 I'm OK with [considering] it as editorial review.
 
 ****************************************************************
+
+From: Bob Duff
+Sent: Friday, March 30, 2018  7:15 AM
+
+> ...
+> > In any case, given that we have No_Return for procedures, it seems 
+> > practically free to extend it to functions, ...
+> 
+> I'm approaching 5 hours spent on reading/responding/filing e-mail on 
+> this topic. I realize I've been part of the issue, but still, if this 
+> is "practically free", I'm not looking forward to the topics that take 
+> real work!! :-)
+
+This is what is known as bikeshedding.
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Friday, March 30, 2018  8:20 AM
+
+> This is what is known as bikeshedding.
+
+Agreed.  Simple issue, easy to talk about forever.
+
+****************************************************************
+
+From: Ben Brosgol
+Sent: Tuesday, April 3, 2018  2:53 PM
+
+This proposal is two days too late, but one way to satisfy all parties
+in this discussion is to require a return statement in a function (even
+one with the No_Return aspect) but to allow a special syntax in such cases:
+
+    return not;
+
+[Please notice the date minus two days - Editor.]
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, April 3, 2018  3:14 PM
+
+LS (Laughing silently... ;-)
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Tuesday, April 3, 2018  6:29 PM
+
+That seems to be a fitting end to this discussion. (At least, I hope it's
+the end. ;-)
+
+****************************************************************
+
+From: Erhard Ploedereder
+Sent: Tuesday, April 3, 2018  8:01 PM
+
+Ah, I see ... Looks good in all versions and particularly in the brevity
+of an expression function, alas extra syntay required ...
+
+function AI12-0063 return Black_Hole
+  with No_Return is
+begin
+  approach_to_closely;
+  return not;   -- wise Yoda return trick
+end AI12-0063;
+
+function AI12-0063 return Black_Hole
+  with No_Return is (not);
+
+****************************************************************

Questions? Ask the ACAA Technical Agent