CVS difference for ais/ai-00297.txt

Differences between 1.24 and version 1.25
Log of other versions for file ais/ai-00297.txt

--- ais/ai-00297.txt	2005/12/15 02:44:03	1.24
+++ ais/ai-00297.txt	2006/04/20 05:31:49	1.25
@@ -1996,3 +1996,72 @@
 
 ****************************************************************
 
+From: Anh Vo
+Sent: Monday, April  3, 2006  2:36 PM
+
+Ada.Real_Time.Timing_Events package specification is different between Ada 2005
+RM and Ada 2005 Rationale. Specifically, function Is_Handler_Set(Event:
+Timing_Event) return Boolean; exists in the Ada 2005 Rationale but not in the
+Ada 2005 Reference Manual.
+
+Which Timing_Events specification is the correct one?
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Monday, April  3, 2006  4:48 PM
+
+The Rationale is an unofficial document; nothing in it has any force
+whatsoever. Questions/comments on it should be directed to its author, not
+here. (I've forwarded this question to John Barnes, so you don't have to.)
+
+Indeed, the "Ada 2005 RM" is also an unofficial document. The official
+document is that of the Amendment itself. We do intend that the RM match the
+Amendment, but being human, that is probably not 100% achieved. In the case
+of a conflict between the Amendment and the RM, the Amendment is used. Note
+that the Amendment is the definition of the language, even if it doesn't
+match the intent as expressed in the AIs and/or AARM. (Although it is
+possible that it might need correction.)
+
+In any case, if there is a conflict between the RM/Amendment and some other
+document, the other document is wrong and should be ignored. We have no
+control over the quality of other documents (which includes the Rationale).
+
+****************************************************************
+
+From: Pascal Leroy
+Sent: Tuesday, April  4, 2006  2:31 AM
+
+As Randy has indicated, the Amendment is the only official document.
+
+It turns out that Is_Handler_Set existed until Nov 2004, and was then
+removed because it was redundant with Current_Handler.  This change was
+requested by John-Barnes-the-reviewer-of-the-language.  It turns out that
+his other self, John-Barnes-the-author-of-the-Rationale, forgot to update
+the Rationale to reflect this change.  Another case of language lawyer
+schizophrenia...
+
+****************************************************************
+
+From: John Barnes
+Sent: Tuesday, April  4, 2006  4:49 AM
+
+A big thanks to Anh Vo for spotting this inconsistency between the RM and
+the Rat. As Pascal points out, this is due to my meddling with this area as
+a reviewer but not telling my other half what I had done.
+
+If anybody spots any other such inconsistences between the Rat and the RM
+then I would be very grateful to know.  Looks like I had better spend the
+weekend doing a bit more reading...
+
+****************************************************************
+
+From: Anh Vo
+Sent: Tuesday, April  4, 2006  11:53 AM
+
+It is my pleasure to contribute a bit. As Randy mentioned, this is not quite
+right forum for reporting it. Next time I will send it directly to John or post
+it on comp.lang.ada if I spot any more similar things.
+
+****************************************************************
+

Questions? Ask the ACAA Technical Agent