CVS difference for ais/ai-00430.txt

Differences between 1.2 and version 1.3
Log of other versions for file ais/ai-00430.txt

--- ais/ai-00430.txt	2005/05/15 23:37:08	1.2
+++ ais/ai-00430.txt	2006/01/10 22:17:52	1.3
@@ -81,4 +81,57 @@
 
 !appendix
 
+From: Robert A. Duff
+Sent: Saturday, December 24, 2005  8:33 AM
+
+It seems like AI-430 should be a binding interpretation, and should apply to
+Ada 95, because the second paragraph of the !problem is pointing out a bug
+to fix. (The first paragraph of the !problem applies only to Ada 2005.)
+Here's the !problem part:
+
+  3.9.2(10/1) does not say what happens when a type inherits routines with
+  different conventions.
+
+  In addition, an unfriendly reading of 3.9.2(10/1) would suggest that the
+  convention of an inherited subprogram is fixed such that even a pragma
+  convention would be ignored.
+
 *************************************************************
+
+From: Pascal Leroy
+Sent: Tuesday, January  3, 2006  2:08 AM
+
+As you point out, the part of the AI that deals with multiple routines
+with different conventions is specific to Ada 2005.  Therefore, this AI
+cannot be a binding interpretation: we wouldn't want to insert in the Ada
+95 RM words that would seem to imply that you can inherit several routines
+with different conventions.
+
+If would be possible to split this AI into a BI (addressing the second
+part of the problem) and an Amendment AI (addressing the first part) but
+that would be a considerable loss of energy if you ask me.  The only
+interesting part of the AI is the Ada 2005 part.  The stuff that pertains
+to Ada 95 is merely a clarification, and it's hard to imagine an
+implementation doing something different anyway.
+
+*************************************************************
+
+From: Robert Dewar
+Sent: Tuesday, January  3, 2006  7:14 AM
+
+Well speaking for GNAT, this definitely required a new check to give the
+desired diagnostic. There was no basis for such a diagnostic previously.
+And of course we retrofitted this to Ada 95 mode.
+
+*************************************************************
+
+From: Robert Dewar
+Sent: Tuesday, January  3, 2006  7:49 AM
+
+I would just add a note to this effect to the AI making it clear that this
+part is something that applies to Ada 95. Given that some members
+of the ARG have taken such a fierce (to me) line on not fixing obvious
+errors in Ada 95, we don't want this to be another misunderstanding :-)
+
+*************************************************************
+

Questions? Ask the ACAA Technical Agent