(j3.2006) (SC22WG5.4311) Executing a type-bound procedure on a coindexed object

[Aleksandar Donev]

On 07/30/10 12:07, Reinhold.Bader at lrz.de wrote:
> I agree. But in this case there does appear to be an inconsistency in the
> standard, at least with respect to what was intended (I think :-)). The
> way out would be to either drop the additional restriction, or to prohibit
> TBP calls on polymorphic coindexed objects altogether.
>    
I tried to understand all the different constraints and failed. It seems 
to me the intent was to not allow any use of coindexed polymorphic 
objects beyond accessing components that are not polymorphic (i.e., 
anything that would require looking into type tables). The note is also 
technically correct. Please remind me (sorry, my books are in boxes so 
harder to look stuff up)---does there have to be a passed argument for 
every TBP? Or can you simply use an object to do type dispatch but not 
actually pass it to the procedure? In any case it begs the question why 
the user would write x[1]%tbp instead of x%tbp when the types must 
match. Perhaps prohibiting it all together is better for now.
Best,
Aleks

-- 
Aleksandar Donev, Assistant Professor of Mathematics
Courant Institute of Mathematical Sciences
Office: 909 Warren Weaver Hall, New York University
E-mail: donev at courant.nyu.edu
Phone: (510) 910-0891; Fax: (212) 995-4121
Mailing address: 251 Mercer St, New York, NY 10012
Web: http://cims.nyu.edu/~donev