CVS difference for ais/ai-00332.txt
--- ais/ai-00332.txt 2004/12/09 19:55:30 1.4
+++ ais/ai-00332.txt 2005/10/31 05:18:31 1.5
@@ -88,10 +88,12 @@
-The part of the first sentence after the semicolon serves to define
-the "expected type" for constructs that don't have one (like qualified
-expressions and renames). Otherwise, such constructs wouldn't allow aggregates,
-'Access, and so on.
+The first sentence is carefully worded so that it only mentions
+"expected type" as part of identifying the interesting case,
+but doesn't require that the context actually provide such an expected
+type. This allows such constructs to be used inside of constructs that don't
+provide an expected type (like qualified expressions and renames). Otherwise,
+such constructs wouldn't allow aggregates, 'Access, and so on.
Questions? Ask the ACAA Technical Agent