CVS difference for ais/ai-00224.txt

Differences between 1.19 and version 1.20
Log of other versions for file ais/ai-00224.txt

--- ais/ai-00224.txt	2000/04/14 01:45:08	1.19
+++ ais/ai-00224.txt	2000/06/20 04:22:44	1.20
@@ -240,10 +240,10 @@
 If a non-specific Unsuppress revokes a check on a specific entity, there is
 no gray area as to whether the check is performed or not. For example, in
         pragma Suppress (Access_Check, On => Some_Subtype);
-	...
-	Obj : Some_Subtype;
+        ...
+        Obj : Some_Subtype;
         pragma Unsuppress (Access_Check);
-	...Obj.all...
+        ...Obj.all...
 it does not matter if the check is made on Obj or on Some_Subtype, because
 we know the check will be performed.
 
@@ -275,7 +275,7 @@
     pragma Suppress (Access_Check);
     package body My_Pack is
         -- pragma Unsuppress (Access_Check) inherited here.
-	-- Access_Checks are not suppressed in this body.
+        -- Access_Checks are not suppressed in this body.
     end My_Pack;
 
 Since the configuration pragma is outside of the package body, it is revoked
@@ -332,7 +332,7 @@
 
 For instance:
 
-	pragma Suppress (Access_Check);
+        pragma Suppress (Access_Check);
         pragma Suppress (Index_Check);
         ....
         pragma Unsuppress (All_Checks);
@@ -364,7 +364,7 @@
 Consider:
 
     package Something is
-	...
+        ...
         pragma Suppress (Access_Check, On => Some_Subtype);
     end Something;
 
@@ -505,7 +505,7 @@
 as possible to all users of Ada, not just to the customers of one particular
 compiler.
 
-			Randy.
+                        Randy.
 
 *************************************************************
 
@@ -550,7 +550,7 @@
 AI and start over (the wording and discussion would have to be totally rewritten
 to use a stacking semantics).
 
-				Randy.
+                                Randy.
 
 *************************************************************
 
@@ -715,7 +715,7 @@
 
 I'll rewrite the AI and repost it sometime after Thanksgiving.
 
-				Randy.
+                                Randy.
 
 *************************************************************
 
@@ -761,7 +761,7 @@
 seen in, then using both Suppress and Unsuppress as configuration pragmas is
 implementation-dependent. Ugh.
 
-			Randy.
+                        Randy.
 
 *************************************************************
 
@@ -880,7 +880,7 @@
 This appears to be a case of "we know what we want, but we don't know how to
 describe it".
 
-			Randy.
+                        Randy.
 
 *************************************************************
 
@@ -950,7 +950,7 @@
 would prevent the problem from occurring. None of these look like particularly
 good choices.
 
-			Randy.
+                        Randy.
 
 *************************************************************
 
@@ -1015,7 +1015,7 @@
 possibility (unless all of the vendors support it in the same way, which is very
 unlikely).
 
-			Randy.
+                	Randy.
 
 *************************************************************
 
@@ -1384,12 +1384,12 @@
 related entity?  (It is clear that the names given in the On=> may relate to
 different aspects of the same entity.)  Consider:
 
-	type Some_Type is access ....
-	subtype Sub_Type is Some_Type <some constraint>;
+        type Some_Type is access ....
+        subtype Sub_Type is Some_Type <some constraint>;
 
-	pragma Suppress (Access_Check, On => Sub_Type);
-	pragma Unsuppress (Access_Check, On => Some_Type);
-	-- Is the check on Sub_Type suppressed here?
+        pragma Suppress (Access_Check, On => Sub_Type);
+        pragma Unsuppress (Access_Check, On => Some_Type);
+        -- Is the check on Sub_Type suppressed here?
 
 I also wonder if this is a good idea. I don't think we really care what happens
 with same-scope Suppress/Unsuppress as long as we can define it; what is
@@ -2462,7 +2462,7 @@
 
 So I await any technical or implementation arguments against this.
 
-			Randy.
+                        Randy.
 
 *************************************************************
 

Questions? Ask the ACAA Technical Agent