CVS difference for ais/ai-00163.txt

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

--- ais/ai-00163.txt	1998/09/30 00:17:29	1.1
+++ ais/ai-00163.txt	1999/07/21 03:10:58	1.2
@@ -1,4 +1,4 @@
-!standard 04.05.05 (18)                               97-05-08  AI95-00163/02
+!standard 04.05.05 (18)                               99-05-28  AI95-00163/03
 !class confirmation 97-05-08
 !status WG9 approved (8-0-0) 97-07-04
 !status ARG Approved 10-0-1  96-10-07
@@ -7,7 +7,7 @@
 !difficulty Hard
 !subject User-defined fixed,fixed multiplying op
 
-!summary 97-05-08
+!summary
 
 There is no way to hide the universal_fixed multiplying operators
 declared in Standard:
@@ -22,7 +22,7 @@
 34     function "/" (Left : universal_fixed; Right : universal_fixed)
          return universal_fixed;
 
-!question 97-05-08
+!question
 
 One rather unpleasant incompatibility between Ada 83 and Ada 95
 which has no reasonable workaround is the inability to define
@@ -42,14 +42,8 @@
 operator in Standard, and any attempt to use their user-defined "*" is
 ambiguous with that operator.
 
-!recommendation 97-05-08
+!response
 
-(See Summary.)
-
-!wording 96-10-04
-
-!discussion 97-05-08
-
 Possible solutions are:
 
   1) Ignore the problem; suggest the user change all uses of "X * Y"
@@ -85,8 +79,15 @@
 
 The ARG chooses number (1).  However, an implementation can use
 non-standard types to solve the problem, if it so chooses.
+
+!ACATS test
+
+A B-Test could be created to insure that implementations detect the ambiguity.
+However, this would have little value. C455001 tests that the implicit
+coversion happens, and it is hard to imagine an implementation which gets
+this test right failing to detect the error cases.
 
-!appendix 96-11-16
+!appendix
 
 !section 4.5.5(18)
 !subject User-defined fixed,fixed multiplying op

Questions? Ask the ACAA Technical Agent