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

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

--- ai12s/ai12-0242-1.txt	2018/10/17 02:55:02	1.12
+++ ai12s/ai12-0242-1.txt	2018/10/19 05:59:55	1.13
@@ -8057,3 +8057,42 @@
 me not to.
+From: Brad Moore
+Sent: Tuesday, October 16, 2018  9:58 PM
+> I'll just make this change with the others from your message unless 
+> you tell me not to.
+That sounds great Randy! Please do make that change with the others, but I
+am not sure how you'd handle the subtype S. Would that need "single" as well?
+It sounds like it would. And note it is not necessarily the same type as
+subtype R, in fact, it could be of any type (including limited ones, I think,
+so long as the Nonblocking aspect requirement is being met by the denoted 
+reducer_subprogram and combiner_subprogram)
+From: Randy Brukardt
+Sent: Tuesday, October 16, 2018  10:44 PM
+I don't think it is necessary, as S is the component type of the array type 
+of O (or a similar case for containers), it's not really a free type. 
+In particular, the prefix of an attribute does not have an expected type, it
+has to be resolved without context. (That's because the prefix of most 
+attributes don't have an expected type - you DON'T want to change that here!)
+Thus, one does resolution of the prefix early.
+Probably resolution would go something like:
+   Determine R (a single type);
+   Determine O and its type (A or C);
+   S is then the component of A or element of C.
+   Now (and only now), one can apply resolution to the "inside"
+   of the reduction. All of those types are known, so that's pretty simple.
+The wording you have seems to capture this, perhaps not that clearly, but I 
+don't have a better idea at the moment. Let Tuck and the others at it next 

Questions? Ask the ACAA Technical Agent