CVS difference for ai05s/ai05-0186-1.txt

Differences between 1.7 and version 1.8
Log of other versions for file ai05s/ai05-0186-1.txt

--- ai05s/ai05-0186-1.txt	2010/02/23 07:31:06	1.7
+++ ai05s/ai05-0186-1.txt	2010/02/25 05:01:43	1.8
@@ -3476,3 +3476,49 @@
 Now I'll go away...
 
 ****************************************************************
+
+From: Bob Duff
+Sent: Wednesday, February 24, 2010  3:55 PM
+
+> Bob volunteers to take this over.
+
+Well, I don't have time to deal with the whole AI.
+
+But one thing I was supposed to do is:
+
+> Bob would like to be able to specify the that some subsystem has a
+> default of Global in out => (null).
+>
+> That does seem useful. He asks whether it should allow any arbitrary
+> annotation. Randy notes that the containers packages have many
+> identical annotations; a way to avoid having to put them in every spec
+> would be welcome. Bob will study this.
+
+I'm ready to at least discuss this.
+
+Seems like it should be an aspect of a (generic) package, and applies to all
+subprograms therein.  What's the syntax for aspects of packages?
+
+Something like this:
+
+    with P;
+    package Q is
+        with Default_Global in => (P, Q),
+             Default_Global out => (null);
+
+        ...
+
+    end Q;
+
+Or:
+
+    with P;
+    package Q is
+
+        ...
+
+    end Q
+        with Default_Global in => (P, Q),
+             Default_Global out => (null);
+
+****************************************************************

Questions? Ask the ACAA Technical Agent