CVS difference for ais/ai-00334.txt
--- ais/ai-00334.txt 2004/10/05 22:49:15 1.4
+++ ais/ai-00334.txt 2004/11/14 06:37:14 1.5
@@ -1,4 +1,4 @@
-!standard 3.09.03 (04) 04-06-29 AI95-00334/02
+!standard 3.09.03 (04) 04-11-08 AI95-00334/03
!standard 3.09.03 (05)
!class binding interpretation 03-07-30
!status Amendment 200Y 04-09-23
@@ -33,7 +33,7 @@
4.5.2(14) (and 3.4(17)) says that the predefined equality operator
for a type extension is *not* inherited, but rather "incorporates"
-the primitive equality op of the parent type. However, the rules for
+the primitive equality operator of the parent type. However, the rules for
abstract subprograms (3.9.3(4-6)) don't mention this case -- they only
talk about inherited subprograms.
@@ -118,10 +118,10 @@
!corrigendum 03.09.03(05)
@drepl
@xbullet<If the derived type is abstract or untagged, the inherited subprogram
-is abstract.>
+is @i<abstract>.>
@dby
@xbullet<If the derived type is abstract or untagged, the implicitly declared
-subprogram is abstract.>
+subprogram is @i<abstract>.>
!ACATS test
Questions? Ask the ACAA Technical Agent