CVS difference for 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