CVS difference for ais/ai-00031.txt

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

--- ais/ai-00031.txt	1998/09/30 00:17:07	1.1
+++ ais/ai-00031.txt	1999/07/08 17:28:21	1.2
@@ -1,4 +1,4 @@
-!standard 13.06    (02)                               96-11-16  AI95-00031/02
+!standard 13.06    (02)                               99-07-08  AI95-00031/03
 !class confirmation 95-06-25
 !status WG9 approved 96-12-07
 !status ARG approved 11-0-0  96-10-07
@@ -9,12 +9,12 @@
 !difficulty Easy
 !subject Unpacking a record type with primitive subprograms
 
-!summary 95-06-25
+!summary
 
 The method outlined in 13.6 for changing representation is not allowed
 if the derived type has inherited (user-defined) subprograms.
 
-!question 96-09-15
+!question
 
 13.6(2) states, "To convert a record from one representation to another,
 two record types with a common ancestor type need to be declared, with
@@ -26,7 +26,7 @@
 
 Where?
 
-!response 95-06-25
+!response
 
 It is forbidden by 13.1(10): "For an untagged derived type, no
 type-related representation items are allowed if the parent type ... has
@@ -35,7 +35,13 @@
 Note that predefined operators are not "inherited"; a type just gets
 them by virtue of being in some language-defined class of types.
 
-!appendix 95-06-25
+!ACATS test
+
+Create a B-Test which checks that type-related representation items are not
+allowed for an untagged derived type if the parent type has any user-defined
+primitive subprograms.
+
+!appendix
 
 !section 13.6(2)
 !subject Unpacking a record type with primitive subprograms

Questions? Ask the ACAA Technical Agent