CVS difference for ai05s/ai05-0003-1.txt

--- ai05s/ai05-0003-1.txt	2006/03/18 06:09:22	1.1
+++ ai05s/ai05-0003-1.txt	2007/08/07 01:16:16	1.2
@@ -108,3 +108,17 @@
 
 ****************************************************************
 
+Editor's note, August 3, 2007
+
+One possible fix for the problem of the not quite equivalent equivalence
+rule in 6.6(2) would be to reduce or eliminate the difference between
+expressions and names. The problem is that an infix operator call is
+an expression, not a name, while the supposedly equivalent function call
+is a name. Thus is it illegal to rename the result of an expression:
+    Val : Integer renames A + 3; -- Illegal
+even though the equivalent prefix call is legal:
+    Val : Integer renames "+"(A, 3); -- Legal
+
+See AC-00143 for a thread about this problem and its effects.
+
+****************************************************************