CVS difference for ai05s/ai05-0083-1.txt
--- ai05s/ai05-0083-1.txt 2008/03/08 05:33:45 1.2
+++ ai05s/ai05-0083-1.txt 2008/07/11 04:00:05 1.3
@@ -1,11 +1,12 @@
-!standard 13.1(11/2) 08-03-07 AI05-0083-1/02
+!standard 13.1(11/2) 08-07-10 AI05-0083-1/03
!standard 13.4(22/2)
!standard 13.3(40)
!class ramification 08-02-10
+!status ARG Approved 7-0-1 08-06-21
!status work item 08-01-17
!status received 07-12-23
!priority Low
-!difficulty Easy
+!difficulty Medium
!qualifier Clarification
!subject Representation values of formal parameters
@@ -17,7 +18,8 @@
!question
-Does 13.3(22/2) and 13.3(40/1) mean "view of an object" rather than just "object"?
+Does 13.3(22/2) and 13.3(40/1) mean "view of an object" rather than just
+"object"? (Yes.)
Generally, Section 13 text says "view" when it means it, and it usually does
not mean it. For instance, 13.1(11/2) says that all views of a type have the
@@ -73,8 +75,8 @@
different representation aspects. For instance, an actual object passed
by reference and the associated formal parameter may have different values for
Alignment even though the formal parameter is merely a view of the
-actual object. This is necessary for the language design principle
-that Alignments are always known at compile time to be true.
+actual object. This is necessary to maintain the language design principle
+that Alignments are always known at compile time.
!discussion
Questions? Ask the ACAA Technical Agent