CVS difference for 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