------- Comment #6 from fxcoudert at gcc dot gnu dot org 2008-02-29 22:55
-------
I've thought about it more, and it's probably going to be tricky to solve:
after we have matched the formal arglist, we need to fill the namespace with
replacement symbols for all the dummy args (stripping them from their
attributes other than type and kind), then match the body of the statement
function, then remove these symbols and go on with our life. I don't know the
resolution code well enough to do that :(
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|fxcoudert at gcc dot gnu dot|unassigned at gcc dot gnu
|org |dot org
Status|ASSIGNED |NEW
Keywords|patch |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35299