CVS difference for ais/ai-00224.txt

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

--- ais/ai-00224.txt	1999/11/23 02:56:18	1.2
+++ ais/ai-00224.txt	1999/11/23 04:17:54	1.3
@@ -283,3 +283,48 @@
 
 *************************************************************
 
+From: Robert Dewar
+Sent: Monday, November 22, 1999 9:40 PM
+
+<<No, not exactly. The GNAT documentation that Ed handed out says "If there is
+no corresponding pragma Suppress in effect, it [Unsuppress] has no effect."
+The natural (to me) wording changes ended up with slightly different semantics,
+that is that Suppress has no effect in a region where Require is given. The
+difference is that Require can be given first -- it essentially is which is
+given precedence.>>
+
+I think this is a bad choice, I prefer everything to nest, so that you
+can nest Suppress/Unsupress to any depth, and the innermost one is
+what has the effect. This is the way GNAT works.
+
+*************************************************************
+
+From: Robert Dewar
+Sent: Monday, November 22, 1999 9:41 PM
+
+incidentally, although I would argue for the more natural semantics that
+Suppress can undo Unsupress and vice versa to any depth, I don't really
+care. It is obviously more work to implement Randy's suggested semantics,
+but in practice it is competely unimportant, the probability of ever
+having more than one level of these pragmas is zero in any case.
+
+*************************************************************
+
+From: Randy Brukardt
+Sent: Monday, November 22, 1999 10:12 PM
+
+I agree that it doesn't matter much (the AI says as much).
+
+I'm surprised that you say it would "obviously" take more work. I can see it
+taking the same amount of work, but I don't see how it could take more. Indeed,
+I would think it could take less work, because a stack isn't necessary to handle
+it.
+
+If others think it would take more work in their compilers, I'll junk the whole
+AI and start over (the wording and discussion would have to be totally rewritten
+to use a stacking semantics).
+
+				Randy.
+
+*************************************************************
+

Questions? Ask the ACAA Technical Agent