CVS difference for ai12s/ai12-0183-1.txt

--- ai12s/ai12-0183-1.txt	2016/04/12 04:48:39	1.1
+++ ai12s/ai12-0183-1.txt	2016/12/16 02:56:48	1.2
@@ -1,4 +1,5 @@
-!standard D.4(4)                                      16-03-23  AI12-0183-1/01
+!standard D.4(4)                                      16-12-15  AI12-0183-1/02
+!standard D.4(4)
 !standard D.4(7/5)
 !class presentation 16-03-23
 !status Amendment 1-2012 16-03-23
@@ -17,6 +18,8 @@
 
 2) Be specific about which policy is defined in 9.5.3 and 9.7.1.
 
+3) The header "Static Semantics" is missing from 4.9.
+
 !question
 
 1) AI12-0163-1 defines policy Ordered_FIFO_Queuing. But the Legality Rule
@@ -27,6 +30,11 @@
 that last one mentioned (I think), but that's ambiguious. Should we be specific
 here? (Yes.)
 
+3) 4.9 does not have a Static Semantics portion; the entire section though
+paragraph 32 is not under any header (which represents introductory text).
+Only paragraph 1 appears to be introductory, should there be a Static Semantics
+portion in this subclause? (Yes.)
+
 !recommendation
 
 (See Summary.)
@@ -35,7 +43,7 @@
 
 [Editor's note: The following changes are included in the draft RM, even though
 it is not intended for the full ARG to take up this AI until just before the
-next document (an Amendment?) is submitted to WG 9. This AI is only used to
+next document (a Revision?) is submitted to WG 9. This AI is only used to
 record wording changes that appear to the editor to be obvious improvements
 in the Standard.]
 
@@ -52,6 +60,8 @@
    for that partition is FIFO_Queuing. The rules for {the FIFO_Queuing}[this]
    policy are specified in 9.5.3 and 9.7.1.
 
+3) Add a "Static Semantics" header before 4.9(2).
+
 !discussion
 
 1) This is a clear omission from AI12-0163-1. Obviously, if we define a queuing
@@ -61,6 +71,18 @@
 2) The other two queuing policies are defined in this subclause, so it's fairly
 obvious that "this" must refer to FIFO_Queuing. But it shouldn't be necessary
 to read the entire subclause in order to figure that out.
+
+3) 4.9(2-32) are not introductory text, so they should be in some headed
+portion. Static Semantics seems appropriate for these rules.
+
+!corrigendum 4.9(2)
+
+@drepl
+A static expression is a scalar or string expression that is one of the following:
+@dby
+@s8<@i<Static Semantics>>
+
+A static expression is a scalar or string expression that is one of the following:
 
 !corrigendum D.4(4)