CVS difference for ais/ai-00363.txt

Differences between 1.10 and version 1.11
Log of other versions for file ais/ai-00363.txt

--- ais/ai-00363.txt	2005/01/07 03:07:44	1.10
+++ ais/ai-00363.txt	2005/02/08 07:12:39	1.11
@@ -1,4 +1,4 @@
-!standard  03.03.1(9)                                   04-12-10  AI95-00363/07
+!standard  03.03.1(9)                                   05-02-02  AI95-00363/07
 !standard  03.06(11)
 !standard  03.07.01(7/1)
 !standard  03.10(9)
@@ -113,7 +113,7 @@
     ... However, in the case of an access subtype, a
     discriminant_constraint is illegal if the designated type has a
     partial view that is constrained or, for a general access
-    subtype, has defaults for its discriminants.
+    subtype, has default_expressions for its discriminants.
     In addition to the places where Legality Rules normally
     apply (see 12.3), these rules apply also in the private part of
     an instance of a generic unit. In a generic body, this rule is
@@ -351,12 +351,12 @@
 discriminated subtype. However, in the case of an access subtype, a
 @fa<discriminant_constraint> is illegal if the designated type has
 a partial view that is constrained or, for a general access subtype, has
-defaults for its discriminants. In addition to the places where Legality Rules
-normally apply (see 12.3), these rules apply also in the private part
-of an instance of a generic unit. In a generic body, this rule is
-checked presuming all formal access types of the generic might be
-general access types, and all untagged discriminated formal types
-of the generic might have defaults.
+@fa<default_expression>s for its discriminants. In addition to the places
+where Legality Rules normally apply (see 12.3), these rules apply also in the
+private part of an instance of a generic unit. In a generic body, this rule is
+checked presuming all formal access types of the generic might be general
+access types, and all untagged discriminated formal types of the generic might
+have defaults.
 
 !corrigendum 3.10(9)
 

Questions? Ask the ACAA Technical Agent