CVS difference for ais/ai-00035.txt
--- ais/ai-00035.txt 2000/01/26 18:24:20 1.5
+++ ais/ai-00035.txt 2000/06/21 23:39:06 1.6
@@ -21,16 +21,16 @@
The rules in 7.3.1 imply that for a type declared in a
package_declaration, certain inherited subprograms can be declared in
the package_body. How does this correspond to the intended
-implementation model of AARM-3.9(1.a-1.b)?
+implementation model of AARM 3.9(1.a-1.b)?
- 1.a The intended implementation model is for a tag to be
+ The intended implementation model is for a tag to be
represented as a pointer to a statically allocated and link-time
initialized type descriptor. The type descriptor contains the
address of the code for each primitive operation of the type. It
probably also contains other information, such as might make
membership tests convenient and efficient.
- 1.b The primitive operations of a tagged type are known at its
+ The primitive operations of a tagged type are known at its
first freezing point; the type descriptor is laid out at that point.
It contains linker symbols for each primitive operation; the linker
fills in the actual addresses.
Questions? Ask the ACAA Technical Agent