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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0395-1.txt

--- ai12s/ai12-0395-1.txt	2020/09/04 01:54:48	1.1
+++ ai12s/ai12-0395-1.txt	2020/09/04 04:05:16	1.2
@@ -202,3 +202,28 @@
 with associated changes to AARM 13.1.1(4.b/5) (changing "No" to "*").
 
 ****************************************************************
+
+From: Gary Dismukes
+Sent: Thursday, September 3, 2020  9:03 PM
+
+What about discriminant_specifications?  Those are similar to formals.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, September 3, 2020  11:02 PM
+
+Somehow missed those on 3 different passes through the 13.1.1(4.b/5) list 
+on two different days.
+
+It seems that discriminant_specifications should be included, given that 
+formal parameters and components both allow aspect_specifications. Ergo, 
+add 3.7(5/2):
+
+discriminant_specification ::= 
+    defining_identifier_list : [null_exclusion] subtype_mark [:= default_expression] [aspect_specification]
+  | defining_identifier_list : access_definition [:= default_expression] [aspect_specification]
+
+to the list above.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent