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

--- ai12s/ai12-0363-1.txt	2020/02/06 06:31:00	1.1
+++ ai12s/ai12-0363-1.txt	2020/03/16 03:37:16	1.2
@@ -1,4 +1,4 @@
-!standard C.6(13.3/5)                                  20-02-05  AI12-0363-1/01
+!standard C.6(13.3/5)                                  20-03-11  AI12-0363-1/02
 !standard C.6(19.1/5)
 !class Amendment 20-02-05
 !status work item 20-02-05
@@ -41,17 +41,15 @@
 be aliased. A nonatomic subcomponent of an atomic type or object shall not 
 have components that are specified to be independently addressable.
 
-{AARM Ramification: a subcomponent that is specified to be atomic is 
-considered to also specify that is independently addressable. Thus one cannot
-have atomic components of nonatomic subcomponents of an atomic type or 
+{AARM Ramification: A subcomponent that is specified to be atomic is 
+considered to also specify that it is independently addressable. Thus one 
+cannot have atomic components of nonatomic subcomponents of an atomic type or 
 object. We don't allow independent addressability as we've effectively 
 required nonatomic subcomponents of an atomic type to not be independently 
 addressable, and the enclosing object of an independently addressable
 component also has to be independently addressable. Since no component can
 be both at the same time, we make anything that conflicts this way illegal.}
 
-
-
 Add after AARM C.6(19.1.c/5):
 
 AARM Discussion: The atomic reads and writes associated with accesses to 
@@ -534,12 +532,31 @@
 
 ****************************************************************
 
-From: Tucker Taft
-Sent: Thursday, November 14, 2019  10:22 AM
+From: Brad Moore
+Sent: Wednesday, March 11, 2020  1:12 PM
+
+[Part of a larger message, just the relevant part here - Editor.]
+
+Also, I had a typo in AI12-0363-1, that I didn't mention in our phone meeting.
+
+AARM Ramification: 1st sentence,
+"a subcomponent that is specified to be atomic is considered to also specify 
+that {it} is independently addressable."
 
 ****************************************************************
 
 From: Tucker Taft
-Sent: Thursday, November 14, 2019  10:22 AM
+Sent: Wednesday, March 11, 2020  4:37 PM
+
+[Part of a larger message, just the relevant part here - Editor.]
+
+...
+> Also, I had a typo in AI12-0363-1, that I didn't mention in our phone meeting.
+> 
+> AARM Ramification: 1st sentence,
+> "a subcomponent that is specified to be atomic is considered to also 
+> specify that {it} is independently addressable."
+
+Good catch.
 
 ****************************************************************