CVS difference for ais/ai-00041.txt

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

--- ais/ai-00041.txt	2000/04/14 01:45:06	1.9
+++ ais/ai-00041.txt	2000/06/20 04:22:42	1.10
@@ -40,14 +40,23 @@
 
 Consider:
 
-    generic				generic
-	...				    ...
-    package P is			package Q is
-	pragma Pure(P);			    pragma Pure;
-     ...				    ...
-    end P;				end Q;
+    generic
+        ...
+    package P is
+        pragma Pure(P);
+     ...
+    end P;
 
-    package PI is new P(...);		package QI is new Q(...);
+    package PI is new P(...);
+
+    generic
+        ...
+    package Q is
+        pragma Pure;
+     ...
+    end Q;
+
+    package QI is new Q(...);
 
 Does the pragma Pure apply to the respective instances PI and QI ? Since
 pragma Pure is a library unit pragma, are instantiations of P and Q illegal,

Questions? Ask the ACAA Technical Agent