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

Differences between 1.13 and version 1.14
Log of other versions for file ai12s/ai12-0212-1.txt

--- ai12s/ai12-0212-1.txt	2018/06/16 03:03:27	1.13
+++ ai12s/ai12-0212-1.txt	2018/07/15 00:25:58	1.14
@@ -3446,3 +3446,31 @@
 more easily than anything involving rarely-used contracts. ;-)
 
 ****************************************************************
+
+From: Jeff Cousins
+Sent: Saturday, July 7, 2018  3:52 PM
+
+a few minor comments that I didn’t raise at the meeting as the AI was going 
+back for a re-write anyway...
+
+4.3.5
+
+Dynamic Semantics
+
+3rd bullet – “as the low bound of a range” -> “is the low bound of a range”?
+
+8th bullet (for a named_container_aggregate) – “is of the form with” – I don’t
+find this terribly clear, though maybe just changing “with” to “containing” 
+would suffice.
+
+15th (for a container_element_association) and final (the 
+iterated_element_association) bullets – both of these have two “and”s – maybe 
+the first “and” should go, and/or possibly the second “and” should be a 
+“then”??
+
+Examples
+
+Various places seem to be missing a new-line and bolding, e.g. “type Set_Type
+is private”, the various “S := ...”s.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent