CVS difference for ais/ai-00363.txt

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

--- ais/ai-00363.txt	2004/12/09 19:55:36	1.9
+++ ais/ai-00363.txt	2005/01/07 03:07:44	1.10
@@ -1,4 +1,4 @@
-!standard  03.03.1(9)                                   04-12-05  AI95-00363/06
+!standard  03.03.1(9)                                   04-12-10  AI95-00363/07
 !standard  03.06(11)
 !standard  03.07.01(7/1)
 !standard  03.10(9)
@@ -108,16 +108,21 @@
 
 [part 1] Delete 3.6(11).
 
-[part 1, augmenting AI-168] Replace the second sentence of 3.7.1(7/1) with:
+[part 1 and 2, augmenting AI-168] Replace the second sentence of 3.7.1(7/1) with:
 
-    ... However, in the case of a general access subtype, a
-    discriminant_constraint is illegal if the designated type 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.
+    ... 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.
+    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.
 
+
+
 [part 1] In 3.10(9), delete the last two sentences (starting with
 "If the view defined by an object_declaration is aliased...").
 
@@ -343,13 +348,15 @@
 A @fa<discriminant_constraint> is only allowed in a @fa<subtype_indication> whose
 @fa<subtype_mark> denotes either an unconstrained discriminated subtype, or an
 unconstrained access subtype whose designated subtype is an unconstrained
-discriminated subtype. However, in the case of a general access subtype, a
-@fa<discriminant_constraint> is illegal if the designated type 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.
+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.
 
 !corrigendum 3.10(9)
 

Questions? Ask the ACAA Technical Agent