CVS difference for ais/ai-presentation.txt

Differences between 1.7 and version 1.8
Log of other versions for file ais/ai-presentation.txt

--- ais/ai-presentation.txt	2000/12/06 21:46:44	1.7
+++ ais/ai-presentation.txt	2000/12/07 03:49:45	1.8
@@ -1381,3 +1381,26 @@
+From: Randy Brukardt
+Sent: Wednesday, December 6, 2000 8:53 PM
+The discussion saved in AC-00002 points out that the conversions mentioned in
+paragraphs 3.5.4(9), 3.5.7(11), and 3.5.9(14, 16) are not "implicit
+conversions", as "implicit conversions" happen as part of overload resolution.
+However, these paragraphs are indexed under "implicit subtype conversion".
+Those index entries should be removed, or changed to "subtype conversion,
+neither implicit or explicit".
+[My solution: Add an AARM annotation to each of these paragraphs:
+  To be honest: The "conversion" mentioned above is not an implicit subtype
+  conversion (which is something that happens at overload resolution, see
+  4.6). Therefore, the freezing rules are not invoked on the type (which is
+  important so that representation items can be given for the type).
+  {Index: subtype conversion, neither implicit or explicit}
+Delete the existing index entry. (The result is that the RM would not index
+these paragraphs, while the AARM would have this funny index entry.)]

Questions? Ask the ACAA Technical Agent