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

--- ai05s/ai05-0007-1.txt	2008/11/26 23:58:33	1.7
+++ ai05s/ai05-0007-1.txt	2010/10/16 03:52:14	1.8
@@ -84,7 +84,7 @@
 rules are rechecked in an instance based on the properties of the actual. Thus,
 if the instantiation is: 
 
-    package Int_G is new G (My_Lim => Integer);
+    package Int_G is new G (Lim => Integer);
     
 the instantiation is illegal, as the attribute definition clause is illegal by
 13.13.2(51/2). This is an unnecessary limitation on the use of formal private
@@ -194,6 +194,24 @@
 stream_size to accommodate the base range, requiring its
 use in the specification of the 'Read attribute seems
 unnecessary.
+
+****************************************************************
+
+From: Robert Dewar
+Date: Thursday, July 22, 2010  5:38 PM
+
+ai05-0007-1 editorial
+
+>    generic
+>       type Lim is limited private;
+>    package G is
+>       type My_Lim is new Lim;
+>       procedure Read (S : access Root_Stream_Type'Class; Obj : out My_Lim);
+>       for My_Lim'Read use Read;
+>    end G;
+>    package Int_G is new G (My_Lim => Integer);
+
+My_Lim should be Lim
 
 ****************************************************************