------- 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