CVS difference for ais/ai-00294.txt

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

--- ais/ai-00294.txt	2002/05/17 03:19:22	1.1
+++ ais/ai-00294.txt	2002/05/25 03:42:19	1.2
@@ -1,4 +1,4 @@
-!standard  3.9.3  (09)                                 02-05-16  AI95-00294/01
+!standard  3.9.3  (09)                                 02-05-17  AI95-00294/02
 !class confirmation 02-05-16
 !status work item 02-05-16
 !status received 02-05-13
@@ -9,8 +9,8 @@
 
 !summary
 
-It is illegal to instantiate a generic with an abstract formal derived type
-parameter that inherits a concrete operation with a type that provides an
+It is illegal to instantiate a generic which has an abstract formal derived
+type parameter that inherits a concrete operation with a type that provides an
 abstract version of the concrete operation.
 
 !question
@@ -424,6 +424,40 @@
 procedure is called.
 
 [Gnat 3.13p had problems with this.]
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, May 16, 2002  10:19 PM
+
+> Well, I am not going to take "Tuck said so" for an answer, and I am going
+> to ask the Rapporteur and the Editor to create an AI for this.
+
+Will you take Randy said so instead? :-)
+
+Here is the AI you requested (now AI-294). I have written it up as a
+confirmation, following Robert's rule as Christophe reminded us. In this case,
+because other interpretations of the paragraph lead to nonsense, and I think
+that trying to define "corresponding" here formally probably will introduce a
+lot more problems that it will fix.
+
+Anyway, here's the AI:
+
+(* Omitted. This was version /01. *)
+
+****************************************************************
+
+From: Christoph Grein
+Sent: Friday, May 17, 2002  2:13 AM
+
+Just a wording improvement proposal.
+
+> summary
+>
+> It is illegal to instantiate a generic with an abstract formal derived type
+                                         ~~~~ which has
+> parameter that inherits a concrete operation with a type that provides an
+> abstract version of the concrete operation.
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent