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

--- ai05s/ai05-0246-1.txt	2011/04/22 02:17:34	1.3
+++ ai05s/ai05-0246-1.txt	2011/04/30 07:28:36	1.4
@@ -335,3 +335,52 @@
 
 ****************************************************************
 
+From: Robert Dewar
+Sent: Tuesday, April 19, 2011  3:34 AM
+
+Why should this restriction worry about packages, when packages are more
+usefully restricted using No_Dependence?
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, April 19, 2011  7:18 AM
+
+The point was to have a single restriction that eliminated all references to
+identifiers that were implementation-defined, appearing within language-defined
+packages.  If that is all of the identifiers within the package, so be it.  It
+also future-proofs the program, so as new packages are added to the language,
+they will be automatically covered as appropriate. Finally, it means that the
+profile No_Implementation_Extensions is easy to define, as the union of the
+No_Implementation_* restrictions.
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, April 19, 2011  2:16 PM
+
+This AI has been largely reworded in the section on No_Implementation_Identifiers,
+and the aspect names in No_Implementation_Extensions have been alphabetized.
+The point of the rewording was to make the main rule that there would be no use
+of impl-defined identifiers that occur in lang-defined packages, and then put
+the particular package names into "Redundant" [].
+
+[This is version /02 of the AI - Editor.]
+
+****************************************************************
+
+From: John Barnes
+Sent: Wednesday, April 20, 2011  2:01 AM
+
+> This AI has been largely reworded in the section
+> on No_Implementation_Identifiers, and the aspect
+> names in No_Implementation_Extensions have been
+> alphabetized.
+
+Which has the advantage that the ugly long one is now first and doesn't 
+(seem to) stick out so much.
+
+Mumble, mumble said Robert.
+
+****************************************************************
+