CVS difference for ais/ai-00034.txt
--- ais/ai-00034.txt 2000/06/21 23:39:06 1.5
+++ ais/ai-00034.txt 2000/07/15 02:29:53 1.6
@@ -1,4 +1,4 @@
-!standard 03.02 (09) 00-01-24 AI95-00034/04
+!standard 03.02 (09) 00-07-13 AI95-00034/05
!class ramification 95-06-25
!status Response 2000 00-01-24
!status WG9 approved 96-12-07
@@ -22,7 +22,7 @@
When is a generic formal subtype unconstrained?
+AARM 12.3(11.c) says:
A formal derived subtype is constrained if and only if
the ancestor subtype is constrained. A formal array type
@@ -30,7 +30,7 @@
Other formal subtypes are unconstrained, even though they
might be constrained in an instance.
-However, this does not seem to follow from the RM rules.
+However, this does not seem to follow from the rules in the standard.
@@ -88,7 +88,7 @@
type Str_Ptr is access String;
- type Obj: in out Str_Ptr;
+ Obj: in out Str_Ptr;
package GP is
Questions? Ask the ACAA Technical Agent