CVS difference for ai05s/ai05-0147-1.txt

--- ai05s/ai05-0147-1.txt	2010/07/28 05:52:44	1.18
+++ ai05s/ai05-0147-1.txt	2010/08/20 04:07:16	1.19
@@ -1,4 +1,4 @@
-!standard 4.3.3(15)                                   10-07-26  AI05-0147-1/11
+!standard 4.3.3(15)                                   10-08-19  AI05-0147-1/12
 !standard 4.4(1)
 !standard 4.4(7)
 !standard 4.5.7(0)
@@ -211,8 +211,8 @@
 
     Legality Rules
 
-All of the *dependent_*expressions shall be convertible to the type of the
-conditional_expression.
+All of the *dependent_*expressions shall be convertible (see 4.6) to the type of
+the conditional_expression.
 
 If the expected type of a conditional_expression is a specific tagged type, all
 of the *dependent_*expressions of the conditional_expression shall be
@@ -371,7 +371,7 @@
 the *dependent_*expressions.
 
 We considered aggregate-like resolution, but that would have used too little of
-the context. For instance:
+the available information. For instance:
 
     Put_Line (Integer'Image (Num_Errors) &
           (if Num_Errors = 1 then "error detected." else "errors detected."));
@@ -406,7 +406,7 @@
 to the *dependent_*expressions. This means that
     T(if Cond then A else B)
 is legal if
-    T(if Cond then T(A) else T(B)
+    (if Cond then T(A) else T(B))
 is legal.
 
 We also have a rule to disallow mixing statically tagged and dynamically