CVS difference for ais/ai-00183.txt
--- ais/ai-00183.txt 1998/09/30 00:17:33 1.1
+++ ais/ai-00183.txt 1999/07/21 03:10:58 1.2
@@ -1,4 +1,4 @@
-!standard 03.09.02 (01) 97-11-14 AI95-00183/02
+!standard 03.09.02 (01) 99-05-28 AI95-00183/03
!class confirmation 97-03-19
!status WG9 Approved 97-11-14
!status ARG Approved 7-0-0 97-04-11
@@ -8,7 +8,7 @@
!difficulty Medium
!subject Primitive operations declared before it is known if the type is tagged
-!summary 97-05-08
+!summary
Consider a type whose partial view is untagged, but whose full view is
tagged. A primitive subprogram declared for the partial view is a
@@ -22,7 +22,7 @@
then it is illegal for both T1 and T2 to be tagged, even if the full
type declarations occur after Primitive.
-!question 97-05-08
+!question
Is a primitive operation of a type which is declared before it is known
that the type is tagged a dispatching operation?
@@ -55,11 +55,15 @@
type T2 is tagged null record;
end;
-!response 97-05-08
+!response
(See Summary.)
-!appendix 97-03-19
+!ACATS test
+
+Create a B-Test to test the examples given in the question.
+
+!appendix
!section 3.9.2(01)
!subject Primitive operations declared before it is known if the type is tagged
Questions? Ask the ACAA Technical Agent