Hi, >> However, I'm not sure if the place where you do it is the most >> preferable: I think it should rather go inside of >> check_dummy_characteristics (since any check for the dummy >> characteristics should include the 'strict' type check, and not only a >> check of type compatibility, cf. F08:12.3.2.2). > > Okay. Maybe one can at the same time replace the rank+type check by a type > and a rank check to provide a better error message, i.e. show the type for a > type mismatch (showing both types)* and the rank for a rank mismatch > (showing both ranks).
yes, actually I also thought that splitting it up might be a good idea. >> Moreover, I think your current patch misses e.g. the assumed-type >> handling that is present in compare_type_rank. > > Good point. Another reason to think about splitting the two. Right. However, the question is whether the patch will not become too involved for backporting. > Would you interested updating this patch? Or should I put it again on my > growing to-do list? My weekend is extremely tight, but I might find a quite hour in the evenings during the next week (unless you can beat me to it) ... Cheers, Janus
