[Bug fortran/63552] [OOP] Type-bound procedures rejected as actual argument to dummy procedure

["janus at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63552

--- Comment #9 from janus at gcc dot gnu.org ---
(In reply to Ian Harvey from comment #8)
> The syntax rule for an /actual-arg/ in 14-007r2 is R1225.  None of the child
> syntax rules of R1225 permit a type bound procedure, noting that a binding
> of a type is not a component of a type.

Thanks for pointing that out, Ian. I think none of us was aware of that. I'd
even say "too bad", since I posted a somewhat working patch for this feature
yesterday ;)

https://gcc.gnu.org/ml/fortran/2015-01/msg00012.html

Do you have any insight (or suspicion) on why it was not allowed in the
standard? Do you think it would be a good idea to implement it in gfortran
anyway (as an extension, i.e. rejected with -std=f2008). Would it be feasible
to allow it in the upcoming F2015?