CVS difference for ais/ai-00137.txt

Differences between 1.8 and version 1.9
Log of other versions for file ais/ai-00137.txt

--- ais/ai-00137.txt	2000/06/21 23:39:09	1.8
+++ ais/ai-00137.txt	2000/07/08 02:40:52	1.9
@@ -1,4 +1,4 @@
-!standard 13.01    (10-11)                            00-04-20  AI95-00137/05
+!standard 13.01    (10-11)                            00-07-07  AI95-00137/06
 !class binding interpretation 96-05-07
 !status Corrigendum 2000 99-07-28
 !status WG9 approved 96-12-07
@@ -56,11 +56,17 @@
 
 The definition of stream attributes as "representation attributes" has
 proven to be a continuing problem. Several issues have made it necessary
-to except stream attributes from the rules for representation attributes,
+to exempt stream attributes from the rules for representation attributes,
 enough that it is clear that they are not representation attributes. Therefore,
 we have taken the major step of defining a new kind of attribute, the
 "operational attributes", and redefining stream attributes to be of this kind.
 
+In particular, 7.3(5), 13.1(10), and the last sentence of 13.1(11) are
+unchanged, so that these rules do not apply to operational items. None
+of these rules are necessary for these attributes. We've also left 3.8(11)
+unchanged, as an operational item cannot occur here. Changes to 13.1(15) and
+13.1(18) are found in the related 8652/0040 (AI-00108).
+
 !corrigendum  3.08(05)
 
 @drepl
@@ -121,6 +127,15 @@
          | aspect_clause>>
 
 
+!corrigendum 13(01)
+
+@drepl
+This section describes features for querying and controlling aspects of
+representation and for interfacing to hardware.
+@dby
+This section describes features for querying and controlling aspects of
+entities and for interfacing to hardware.
+
 !corrigendum 13.01(00)
 
 @drepl
@@ -142,23 +157,27 @@
 declared local to the current declarative region, or a library unit declared
 immediately preceding a representation pragma in a @fa<compilation>.
 @dby
+Two kinds of aspects of entities can be specified: aspects of representation
+and operational aspects. Representation items specify how the types and other
+entities of the language are to be mapped onto the underlying machine.
+Operational items specify other properties of entities.
+
 There are six kinds of @i<representation items>:
 @fa<attribute_definition_clause>s for representation attributes,
 @fa<enumeration_representation_clause>s, @fa<record_representation_clause>s,
 @fa<at_clause>s, @fa<component_clause>s, and @i<representation pragmas>.
-Representation items
-specify how the types and other entities of the language are to be mapped onto
-the underlying machine. They can be provided to give more efficient
+They can be provided to give more efficient
 representation or to interface with features that are outside the domain of
-the language (for example, peripheral hardware). An
-@fa<attribute_definition_clause> for an operational attribute is an
-@i<operational item>. Operational items specify other specifiable properties
-of entities. An operational item or a representation item applies to an entity
+the language (for example, peripheral hardware).
+
+An @i<operational item> is an @fa<attribute_definition_clause> for an
+operational attribute.
+
+An operational item or a representation item applies to an entity
 identified by a @fa<local_name>, which denotes an entity declared local to the
 current declarative region, or a library unit declared immediately preceding a
 representation pragma in a @fa<compilation>.
 
-
 !corrigendum 13.01(02)
 
 @drepl
@@ -275,6 +294,15 @@
 same as those of the actual. A type-related representation item is not allowed
 for a descendant of a generic formal untagged type.
 
+!corrigendum 13.01(13)
+
+@drepl
+A representation item that is not supported by the implementation is illegal,
+or raises an exception at run time.
+@dby
+A representation or operational item that is not supported by the
+implementation is illegal, or raises an exception at run time.
+
 !corrigendum 13.01(19)
 
 @drepl
@@ -347,7 +375,7 @@
 for an enumeration type. The attributes of the type, such as Succ,
 Pred, and Pos, are unaffected by the @fa<enumeration_representation_clause>. For
 example, Pos always returns the position number, not the internal
-integer code that might have been specified in a
+integer code that might have been specified in an
 @fa<enumeration_representation_clause>.
 
 !corrigendum 13.11(12)
@@ -754,6 +782,39 @@
 > more likely that we'll have to kill it at the meeting.
 
 Ok, I withdraw my suggestion.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Monday, July 07, 2000 8:05 PM
+
+At the Potsdam meeting, we split up the giant paragraph 13.1(1) in order to
+improve its clarity. The first paragraph of the new text now reads:
+
+Two aspects of entities can be specified: aspects of representation and
+operational aspects. Representation items specify how the types and other
+entities of the language are to be mapped onto the underlying machine.
+Operational items specify other properties of entities.
+
+This has bothered me since the meeting, as it introduces 4 terms without
+connecting them in any way. They do eventually get connected - in paragraphs
+13.1(8) and 13.1(8.1) - an entire page later! I'm wondering if we should add an
+informal connecting sentence.
+
+Also, shouldn't the first sentence say "Two {kinds of} aspects of entities..."
+Surely there are more than 2 aspects of entities??
+
+So, here is my cut at an improvement.
+
+Representation and operational items can be used to specify aspects of entities.
+Two kinds of aspects of entities can be specified: aspects of representation and
+operational aspects. Representation items specify how the types and other
+entities of the language are to be mapped onto the underlying machine.
+Operational items specify other properties of entities
+
+Fire away with suggestions or just to tell me to leave it alone.
+
+			Randy.
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent