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

--- ai12s/ai12-0005-1.txt	2021/01/13 06:31:36	1.44
+++ ai12s/ai12-0005-1.txt	2021/01/15 04:27:16	1.45
@@ -2974,7 +2974,7 @@
 
 ***************************************************************
 
-[From the AARM Review of Justin Squirek (October 2020) - Editor.]
+[From the AARM Review of Richard Wai (October 2020) - Editor.]
 
 4.4(9.a/5)
  
@@ -2989,10 +2989,55 @@
 "..., which would be confusing and would {cause} various 
 semantic difficulties"
 
+4.5.5(18.a)
 
+"types" should not be plural here
+
+"... operands of any fixed point type[s] (not necessarily the 
+same)..."
+
+***************************************************************
+
+[From the AARM Review of Steve Baird (October 2020) - Editor.]
+
+6.1.1
+
+   We replaced almost all, but not all,
+      "prefix of an Old attribute"
+   occurrences with
+      "prefix of an Old attribute_reference"
+   Should we fix the two that were missed (27.g/5,
+   43.j/5)?
+
+[Editor's note: There's similar wording in 27.h/5, 27.j/5, and 43.i/5. Also,
+in such uses "prefix" needs to be in the syntax font (as in the normative 
+wording).]
+
+6.4.1 -
+
+   In 6.b.1/4, at least a missing word:
+      We assume the worst in a generic body [regarding] whether or not a
+      formal subtype has a constrained partial view
+
+   Perhaps also drop the "or not"?
+      We assume the worst in a generic body regarding whether a
+      formal subtype has a constrained partial view.
+
+In 6.5(22.b/5) we've got
+      The permissions of 11.4.2 ensure that duplicate evaluation of a
+      predicate at a single point is never required,
+
+   I looked at the implementation permissions section of 11.4.2 and
+   didn't see anything like that.
+
+[Editor's reply: I think that the later two rules of 11.4.2 have that effect
+in all but pathological cases (such as a random generator or clock used in a
+predicate, such cases are not portable by the last permission of 11.4.2). But
+"never" is too strong. I'll weaken it.]
+
 ***************************************************************
 
-Editor's note (January 12, 2021): All of the items above this
+Editor's note (January 14, 2021): All of the items above this
 marker have been included in the working version of the AARM.
 
 ****************************************************************