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

Differences between 1.9 and version 1.10
Log of other versions for file ai12s/ai12-0236-1.txt

--- ai12s/ai12-0236-1.txt	2019/01/22 06:07:53	1.9
+++ ai12s/ai12-0236-1.txt	2019/02/07 06:31:30	1.10
@@ -9,7 +9,7 @@
 !standard 4.5.9(0)
 !standard 6.2(10/4)
 !standard 7.5(2.1/5)
-!standard 8.1(3)
+!standard 8.1(2.1/4)
 !class Amendment 17-09-06
 !status Amendment 1-2012 19-01-15
 !status work item 19-01-17
@@ -404,16 +404,16 @@
 !corrigendum 4.4(7/3)
 
 @drepl
-@xcode<@fa<primary>@fa< ::= >
-   @fa<numeric_literal | >@ft<@b<null>>@fa< | string_literal | aggregate>
- @fa<| name | allocator | (expression)>
- @fa<| (conditional_expression) | (quantified_expression)>>
+@xindent<@fa<primary>@fa<@ ::=@ >@hr
+@ @ @ @ @fa<numeric_literal>@ |@ @b<null>@ |@ @fa<string_literal>@ |@ @fa<aggregate>@hr
+@ @ |@ @fa<name>@ |@ @fa<allocator>@ |@ (@fa<expression>)@hr
+@ @ |@ (@fa<conditional_expression>)@ |@ (@fa<quantified_expression>)>
 @dby
-@xcode<@fa<primary>@fa< ::= >
-   @fa<numeric_literal | >@ft<@b<null>>@fa< | string_literal | aggregate>
- @fa<| name | allocator | (expression)>
- @fa<| (conditional_expression) | (quantified_expression)>
- @fa<| (declare_expression)>>
+@xindent<@fa<primary>@fa<@ ::=@ >@hr
+@ @ @ @ @fa<numeric_literal>@ |@ @b<null>@ |@ @fa<string_literal>@ |@ @fa<aggregate>@hr
+@ @ |@ @fa<name>@ |@ @fa<allocator>@ |@ (@fa<expression>)@hr
+@ @ |@ (@fa<conditional_expression>)@ |@ (@fa<quantified_expression>)@hr
+@ @ |@ (@fa<declare_expression>)>
 
 !corrigendum 4.5.9(0)
 
@@ -423,11 +423,11 @@
 
 @s8<@i<Syntax>>
 
-@xcode<@fa<declare_expression>@fa< ::= >
-    @ft<@b<declare>>@fa< {declare_item} >
-    @ft<@b<begin> @i<body_>>@fa<expression>>
+@xindent<@fa<declare_expression>@fa<@ ::=@ >@hr
+@ @ @ @ @b<declare> {@fa<declare_item>}@hr
+@ @ @ @ @b<begin> @i<body_>@fa<expression>>
 
-@xcode<@fa<declare_item>@fa< ::= >@fa<object_declaration | object_renaming_declaration>>
+@xindent<@fa<declare_item>@fa<@ ::=@ >@fa<object_declaration>@ |@ @fa<object_renaming_declaration>>
 
 Wherever the Syntax Rules allow an @fa<expression>, a @fa<declare_expression>
 may be used in place of the @fa<expression>, so long as it is immediately 
@@ -522,10 +522,10 @@
 @fa<declare_expression> whose @i<body_>@fa<expression> is permitted by this 
 rule:
 
-!corrigendum 8.1(3)
+!corrigendum 8.1(2.1/4)
 
 @dinsa
-@xbullet<a @fa<block_statement>;>
+@xbullet<an @fa<access_definition>;>
 @dinst
 @xbullet<a @fa<declare_expression>;>
 
@@ -4142,6 +4142,34 @@
 that context}.
 
 P.S. I'm done with this AI now, I think. Only 9 more giant AIs to go...
+
+***************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, January 22, 2019  2:43 PM
+
+> ...
+> 
+> * a declare_expression (see 4.5.9) whose *body_*expression has 
+> distributed accessibility; or
+
+Looks good.
+ 
+... 
+> In the above rules, the operand of a view conversion, parenthesized 
+> expression or qualified_expression is considered to be used in a 
+> context if the view conversion, parenthesized expression or 
+> qualified_expression itself is used in that context. Similarly, a 
+> dependent_expression of a conditional_expression is considered to be 
+> used in a context if the conditional_expression itself is used in that 
+> context{, and a body_expression of a declare_expression is considered 
+> to be used in a context if the declare_expression itself is used in that context}.
+
+Looks good.
+
+> P.S. I'm done with this AI now, I think. Only 9 more giant AIs to go...
+
+Congrats!
 
 ***************************************************************
 

Questions? Ask the ACAA Technical Agent