CVS difference for ai05s/ai05-0166-1.txt
--- ai05s/ai05-0166-1.txt 2010/07/08 01:19:03 1.8
+++ ai05s/ai05-0166-1.txt 2010/10/19 05:11:02 1.9
@@ -525,3 +525,40 @@
So above words do it for me
****************************************************************
+
+From: Christoph Grein
+Sent: Friday, October 8, 2010 3:46 AM
+
+!reference Ada 2005 D.2(7/3), D2.4(9.a/3)
+!from Author Grein 2010-10-98
+!keywords keywords Yield
+!discussion
+
+D.2(7/3) says "Yield is a potentially blocking operation". So it must not be called in POs.
+
+D2.4(9.a/3) says "calls to any of the Yield procedures are never blocking".
+While this is true for Yield_To_Higher (they can be called in POs), it is a contradiction
+to D.2(7/3) for Yield and its renaming Yield_To_Same_Or_Higher.
+
+Or am I missing something? I've read AI05-0166-1 and there is no mention that
+Yield_To_Same_Or_Higher is not a potentially blocking operation.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Tuesday, October 19, 2010 12:05 AM
+
+I noticed that that note didn't make any sense last April and engaged Alan in a long
+discussion about how it should be worded. It's filed in AI05-0166-1 at the end. But
+apparently, I never actually put the corrected wording into the Standard. Thanks for
+pointing it out.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Tuesday, October 19, 2010 12:09 AM
+
+That's not quite right: the wording that I discussed with Alan was changed, but the
+note wasn't. Anyway, it's fixed now.
+
+****************************************************************
Questions? Ask the ACAA Technical Agent