CVS difference for ais/ai-00364.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00364.txt

--- ais/ai-00364.txt	2004/03/02 04:45:01	1.5
+++ ais/ai-00364.txt	2004/03/03 00:21:34	1.6
@@ -305,3 +305,46 @@
 the March RD :-)
 
 ****************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, March  2, 2004  7:27 AM
+
+
+Tucker Taft wrote:
+> Here is the first "real" version of AI-364
+> attempting to restore some compatibility with
+> Ada 83 with respect to user-defined fixed-fixed
+> multiplying operators.
+
+I realize one of the paragraphs below has an
+ambiguous use of "[]".
+
+> ...
+> Change 4.5.5(20) as follows:
+>
+>            [Legality Rules] {Name Resolution}
+>
+>    The above two fixed-fixed multiplying operators shall not be used in a
+>    context where the expected type for the result is itself universal_fixed
+>    -- [the context has to identify some other numeric type to which the
+>    result is to be converted, either explicitly or implicitly]...
+
+The above "[]" are intended to convey that this phrase is
+a ramification of other rules in the manual, and hence
+is "officially" redundant.
+The '[' and ']' should only appear in the AARM.
+The phrase itself should *remain* -- the "[]" was *not*
+meant to convey that it should be removed in Ada 0Y.
+
+Sorry for any confusion.
+
+> OPEN ISSUE:
+>   I phrased the suggested rule as requiring "both" to have a user-defined
+>   primitive operator, but it could be phrased as "either." ...
+ > ...  Compatibility with Ada 83 is enhanced by
+>   specifying "either."
+
+I think I prefer "either" at this point, since the whole point
+of this was to improve compatibility with Ada 83.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent