CVS difference for ais/ai-00073.txt

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

--- ais/ai-00073.txt	1998/09/30 00:17:13	1.1
+++ ais/ai-00073.txt	1999/07/21 03:10:57	1.2
@@ -1,4 +1,4 @@
-!standard 02.08    (05)                               96-07-23  AI95-00073/00
+!standard 02.08    (05)                               99-05-28  AI95-00073/01
 !class confirmation 95-07-27
 !status WG9 approved 96-12-07
 !status ARG approved 9-0-0  96-06-17
@@ -8,15 +8,15 @@
 !difficulty Easy
 !subject Pragmas are allowed in generic_formal_parts.
 
-!summary 95-07-27
+!summary
 
 A pragma is allowed in a generic_formal_part.
 
-!question 95-07-27
+!question
 
 Is a pragma allowed in a generic_formal_part?  (Yes.)
 
-!response 95-07-27
+!response
 
 A pragma may appear in a generic_formal_part after a
 generic_formal_parameter_declaration (by 2.8(6)), or after a use_clause
@@ -30,7 +30,12 @@
 The fact that a pragma may appear in a generic_formal_part is not a
 change from Ada 83.
 
-!appendix 95-09-29
+!ACATS test
+
+A C-Test could be written to check that pragmas are allowed in generic formal
+parts, but this would not have much value by itself.
+
+!appendix
 
 !section 02.08(05)
 !subject are pragmas allowed in generic formal parts?

Questions? Ask the ACAA Technical Agent