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

--- ai12s/ai12-0040-1.txt	2012/12/18 02:28:32	1.1
+++ ai12s/ai12-0040-1.txt	2013/01/03 03:45:56	1.2
@@ -1,5 +1,7 @@
-!standard 8.6(9)                                    12-11-29    AI12-0040-1/01
+!standard 8.6(9)                                    13-01-02    AI12-0040-1/02
 !class binding interpretation 12-11-29
+!status Amendment 202x 13-01-02
+!status ARG Approved 9-0-1  12-12-05
 !status work item 12-11-29
 !status received 12-11-28
 !priority Low
@@ -55,7 +57,7 @@
 
 !discussion
 
-We want case statements and case expressions resolve the same way; consistency
+We want case statements and case expressions to resolve the same way; consistency
 is important.
 
 It's a bit odd to have a complete context in the middle of an expression, but as
@@ -71,11 +73,19 @@
 are considered together (thus the source expression of an assignment can
 help the resolutiuon of the target).
 
+!corrigendum 8.6(9)
+
+@drepl
+@xbullet<The @fa<expression> of a @fa<case_statement>.>
+@dby
+@xbullet<The @i<selecting_>@fa<expression> of a @fa<case_statement> or
+@fa<case_expression>.>
+
 !ACATS test
 
 An ACATS B-Test like the example in the question should be created to verify
 that this is detected. It's low priority, though, as it is hard to imagine that
-this would be done wrong.
+this would be done wrong (it would be a lot more work).
 
 !appendix